#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 (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

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