Ad
Ad
134 Kata Found
Beta
Prove without Truth Tables
5Trouble-Truffle
Status:Ranking feedback needed
Estimated Rank:
3 kyu
Theorem Proving
Beta
Irretractable
7Kacarott
Status:Ranking feedback needed
Estimated Rank:
7 kyu
Theorem Proving
Logic Programming
Beta
Identity type: Prove H from J
1mildsunrise
Status:Testing & feedback needed
Estimated Rank:
2 kyu
Theorem Proving
Logic
Fundamentals
Beta
From Hilbert to Gentzen, and back
5dramforever
Status:Ranking feedback needed
Estimated Rank:
3 kyu
Logic
Theorem Proving
Beta
Fancy bool #2: Bool as a higher inductive type (corrected)
7ice1000
Status:Testing & feedback needed
Estimated Rank:
2 kyu
Theorem Proving
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
Verified Sums of Parts
13donaldsebleung
Status:Ranking feedback needed
Estimated Rank:
7 kyu
Theorem Proving
Fundamentals
Performance
Algorithms

Loading...