#mace4 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mace4, aggregated by home.social.
-
Readings shared April 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/13-readings_shared_04-13-25 #AI #ATP #Coq #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Mace4 #Math #Prover9 #SetTheory
-
Curso "Razonamiento automático (2011-12)". https://jaalonso.github.io/cursos/m-ra-11 #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL
-
Curso "Razonamiento automático (2008-09)". https://jaalonso.github.io/cursos/d-ra-08 #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL
-
Curso "Razonamiento automático (2007-08)". https://jaalonso.github.io/cursos/d-ra-07 #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL
-
Readings shared February 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/23-readings_shared_02-23-25 #ATP #Coq #ITP #IsabelleHOL #Mace4 #Math #Mizar #Prover9 #Rocq
-
Fracterm calculus for partial meadows. ~ Jan A. Bergstra, Alban Ponse. https://arxiv.org/abs/2502.13812 #ATP #Prover9 #Mace4 #Math
-
Readings shared December 13, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/13-readings_shared_12-13-24 #ITP #IsabelleHOL #Coq #Rocq #ATP #Prover9 #Mace4 #Logic #Math
-
Readings shared September 20, 2024. https://jaalonso.github.io/vestigium/posts/2024/09/20-readings_shared_09-20-24 #ITP #Lean4 #IsabelleHOL #Math #Calculemus #ATP #Prover9 #Mace4
-
Mapping probability with logic: First order models in puzzle solving. ~ Adrian Groza. https://www.uni.lodz.pl/fileadmin/Projekty/EXTENDD/abstracts.pdf#page=18 #ATP #Prover9 #Mace4