Ad
Ad
14 Kata Found
Beta
N + 1 = suc N? Prove it about h-sets!
7ice1000
Status:Testing & feedback needed
Estimated Rank:
4 kyu
Theorem Proving
Functional Programming
Beta
Unordered pair #3: you can (not) subtract
8ice1000
Status:Testing & feedback needed
Estimated Rank:
5 kyu
Theorem Proving
Functional Programming
Beta
A map from a truncated set to a set
7ice1000
Status:Testing & feedback needed
Estimated Rank:
8 kyu
Theorem Proving
Functional Programming