José A. AlonsoSep 12, 2024
Readings shared September 11, 2024. https://jaalonso.github.io/vestigium/posts/2024/09/11-readings_shared_09-11-24 #ITP #IsabelleHOL #LeanProver #Coq #NaprocheZF #Natty #AlphaGeometry #AlphaProof #FunctionalProgramming #OCaml #Logic #Math #IMO #AI #MachineLearning #LLMs
Readings shared September 11, 2024

The readings shared in Mastodon on September 11, 2024 are Readings shared September 10, 2024. #ITP #Lean4 #IsabelleHOL #Math #Calculemus #Haskell #Python #Math Mathematical Olympiad (To the geometry

Vestigium
José A. AlonsoSep 11, 2024
Naproche-ZF: Lessons learned from implementing a new natural-language-oriented theorem prover. ~ Adrian De Lon. https://aitp-conference.org/2024/slides/AdL.pdf #ITP #NaprocheZF #Math