Sign in
agda-translation-method.
An Agda library for turning equations into bijections using the translation method
github.com/SuprDewd/agda-translation-method
by
@SuprDewd
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
