#automatedleanproofs — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #automatedleanproofs, aggregated by home.social.
-
Automated Lean Proofs for Every Type
https://www.galois.com/articles/automated-lean-proofs-for-every-type
#HackerNews #AutomatedLeanProofs #Lean #TheoremProving #Automation #Technology #Galois