Ad
Ad
137 Kata Found
Beta
Multiplication by 0 in all Rings
4HartlIKS
Status:Testing & feedback needed
Estimated Rank:
7 kyu
Mathematics
Theorem Proving
Beta
Square root of 2 is irrational
4kclisp
Status:Testing & feedback needed
Estimated Rank:
4 kyu
Mathematics
Theorem Proving
Beta
Base-2 Representation
4HartlIKS
Status:Testing & feedback needed
Estimated Rank:
6 kyu
Theorem Proving
Beta
Prove without Truth Tables
6Trouble-Truffle
Status:Awaiting approval
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

Loading...