6 kyu
Drinker paradox
120yuxuanchiadm
Completed Languages:
4 kyu
Program Verification #6: Fast Fibonacci numbers
31monadius
Completed Languages:
1 kyu
Modular operations on Finite data type
67solitude
Completed Languages:
6 kyu
Schrödinger's Boolean
3,425docgunthrop
Completed Languages:
2 kyu
Just Be Injective
47ice1000
Completed Languages:
3 kyu
I~ transport lemmas so right, proving the wrong thing
51ice1000
Completed Languages:
5 kyu
Multiples of 3, you say?
116donaldsebleung
Completed Languages:
5 kyu
EM implies LPO, LPO implies LLPO
80solitude
Completed Languages:
4 kyu
A special set of matrices closed under matmul and transpose
36solitude
Completed Languages:
5 kyu
Implementing typeclasses
40ice1000
Completed Languages:
5 kyu
Heterogeneous Equality on sized vectors
39lwoo1999
Completed Languages:
5 kyu
C/C++ Puzzle: Arithmetic Maze
157Bubbler
Completed Languages:
8 kyu
Function 2 - squaring an argument
81,802ineiti
Completed Languages:
5 kyu
C Puzzle: Extract Field from a Double Value
225Bubbler
Completed Languages:
5 kyu
List concatenation is injective? Prove it!
65lwoo1999
Completed Languages:
Loading more items...