←back to thread

AlphaProof's Greatest Hits

(rishimehta.xyz)

248 points rishicomplex | 1 comments | 17 Nov 24 17:20 UTC | HN request time: 0.206s | source

1. sbierwagen ◴[17 Nov 24 18:36 UTC] No.42165935[source]▶

>>42165397 (OP) #

More information about the language used in the proofs: https://en.wikipedia.org/wiki/Lean_(proof_assistant)