Post #1308214
2026-03-07 13:54 UTC
@veit From what I heard,
https://lean-lang.org/
is very popular and successful for mathematics proofs
Replies (1)
-
@veit@mastodon.social 2026-03-07 15:31
@zopyx Claude provided the concrete construction (Exploration 31) in the form of a #Python program, see also https://cs.stanford.edu/~knuth/even_solution.py