#mace4 — Public Fediverse posts

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 (2011-12)". https://jaalonso.github.io/cursos/m-ra-11 #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL

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 (2011-12)". https://jaalonso.github.io/cursos/m-ra-11 #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL

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 (2008-09)". https://jaalonso.github.io/cursos/d-ra-08 #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 (2008-09)". https://jaalonso.github.io/cursos/d-ra-08 #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

Curso "Razonamiento automático (2007-08)". https://jaalonso.github.io/cursos/d-ra-07 #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

Curso "Razonamiento automático (2007-08)". https://jaalonso.github.io/cursos/d-ra-07 #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

Univocity of intuitionistic and classical connectives. ~ Rodolfo C. Ertola-Biraben, Branden Fitelson. https://philarchive.org/archive/FITUOI #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

Lecturas compartidas el 2 de mayo de 2024. https://jalonso.substack.com/lecturas-compartidas-el-2-de-mayo #ITP #Lean4 #IsabelleHOL #Coq #Prover9 #Mace4 #FunctionalProgramming #Haskell #Python #Math #AI #ChatGPT

Commutative residual algebra motivation, decision, and applications. ~ Vincent van Oostrom. http://www.javakade.nl/research/pdf/crabytiling-v2.pdf #ATP #Prover9 #Mace4 #Math

Lecturas compartidas el 23 de marzo de 2024. https://jalonso.substack.com/lecturas-compartidas-el-23-de-marzo #AI #ATP #DeepLearning #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #Lean4 #LeanProver #Logic #Mace4 #MachineLearning #NeuralNetwork #Prover9

Fully evaluated left-sequential logics. ~ Alban Ponse, Daan J.C. Staudt. https://arxiv.org/abs/2403.14576 #ATP #Prover0 #Mace4 #Logic

Fully evaluated left-sequential logics. ~ Alban Ponse, Daan J.C. Staudt. https://arxiv.org/abs/2403.14576 #ATP #Prover0 #Mace4 #Logic

Fully evaluated left-sequential logics. ~ Alban Ponse, Daan J.C. Staudt. https://arxiv.org/abs/2403.14576 #ATP #Prover0 #Mace4 #Logic

Fully evaluated left-sequential logics. ~ Alban Ponse, Daan J.C. Staudt. https://arxiv.org/abs/2403.14576 #ATP #Prover0 #Mace4 #Logic

Fully evaluated left-sequential logics. ~ Alban Ponse, Daan J.C. Staudt. https://arxiv.org/abs/2403.14576 #ATP #Prover0 #Mace4 #Logic

Automated reasoning for proving non-orderability of groups. ~ Alexei Lisitsa, Zipei Nie, Alexei Vernitski. https://arxiv.org/abs/2310.05891 #ATP #Prover9 #Mace4 #Math

Symmetries for cube-and-conquer in finite model finding. ~ João Araújo, Choiwah Chow, Mikoláš Janota. https://drops.dagstuhl.de/opus/volltexte/2023/19045/pdf/LIPIcs-CP-2023-8.pdf #ATP #Mace4