🖼️00Palomar – a registry of Lean verified mathematicsHacker News·Palomar – a registry of Lean verified mathematics·28 days ago#Aqf9e1RG#terrytao#lean#palomar#photo#article#englishlanguage🧰Tag tools✨Add tagIn 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 tha…15s0Read later0Read More
