#ai4math — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ai4math, aggregated by home.social.
-
Mel Nathanson — How Harmonic's Aristotle solved some of my problems. https://gist.github.com/kim-em/20212c66bd144c5d3fa3b044402e2092 #LeanProver #ITP #Aristotle #AI4Math
-
Mel Nathanson — How Harmonic's Aristotle solved some of my problems. https://gist.github.com/kim-em/20212c66bd144c5d3fa3b044402e2092 #LeanProver #ITP #Aristotle #AI4Math
-
Mel Nathanson — How Harmonic's Aristotle solved some of my problems. https://gist.github.com/kim-em/20212c66bd144c5d3fa3b044402e2092 #LeanProver #ITP #Aristotle #AI4Math
-
Mel Nathanson — How Harmonic's Aristotle solved some of my problems. https://gist.github.com/kim-em/20212c66bd144c5d3fa3b044402e2092 #LeanProver #ITP #Aristotle #AI4Math
-
Mel Nathanson — How Harmonic's Aristotle solved some of my problems. https://gist.github.com/kim-em/20212c66bd144c5d3fa3b044402e2092 #LeanProver #ITP #Aristotle #AI4Math
-
Readings shared April 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/10-readings_shared_04-09-26 #AI #AI4Math #ATP #Agda #FunctionalProgramming #ITP #IsabelleHOL #LeanProver #Math #Prover9
-
Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire