3 ms·

If you like this, you may also like the Lean Theorem Prover: https://leanprover.github.io/ https://leanprover.github.io/ A fun place to start is the Natural Nu

by dqpb 6y ago

If you like this, you may also like the Lean Theorem Prover: https://leanprover.github.io/ https://leanprover.github.io/ A fun place to start is the Natural Number Game: https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/ https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_gam...