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

Readings shared September 11, 2024. jaalonso.github.io/vestigium/po... #ITP #IsabelleHOL #LeanProver #Coq #NaprocheZF #Natty #AlphaGeometry #AlphaProof #FunctionalProgramming #OCaml #Logic #Math #IMO #AI #MachineLearning #LLMs

Naproche-ZF: Lessons learned from implementing a new natural-language-oriented theorem prover. ~ Adrian De Lon. aitp-conference.org/2024/slides/... #ITP #NaprocheZF #Math