top
new
show
ask
jobs
about
Tic-tac-toe meets Lean 4
ochagavia.nl
4 points by
todsacerdoti
10 hours ago
toggle theme