Ad
1 kyu
Scott Encoding
595xenoexplorator
Completed Languages:
2 kyu
Finally tagless interpreter
303tel
Completed Languages:
2 kyu
Algebraic Isomorphism
524lolisa
Completed Languages:
3 kyu
Isomorphism
890lolisa
Completed Languages:
1 kyu
A+B=B+A? Prove it!
454AJFarmar
Completed Languages:
2 kyu
Odd + Even = Odd? Prove it!
711AJFarmar
Completed Languages:
1 kyu
Sure, but can you SKI? (I)
291Voile
Completed Languages:
3 kyu
Simply typed lambda calculus type checker
19ice1000
Completed Languages:
1 kyu
Modular operations on Finite data type
66solitude
Completed Languages:
6 kyu
Magic is Commutative
141Axure
Completed Languages:
6 kyu
A+A=B+B so A=B? Prove it!
257ice1000
Completed Languages:
2 kyu
Just Be Injective
47ice1000
Completed Languages:
2 kyu
String formatting, type-safely
60ice1000
Completed Languages:
5 kyu
Uneval your Agda expression
11ice1000
Completed Languages:
5 kyu
A bit of fun with proofs on inequalities
22solitude
Completed Languages:
Loading more items...