ended8월 19일· 1 sources
Palomar: A registry of Lean verified mathematics
Why it matters
In recent months there has been a proliferation of AI-generated proofs of various old and new results, some of which have been formalized in the proof assistant language Lean. However, checking that a...
1
Sources
+0
24h
—
Growth
33d
Active