#isabellehol — Public Fediverse posts

Readings shared: 24-31 August, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/31-readings_shared_08-31-26 #AI4Math #Agda #CommonLisp #CompSci #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Lisp #Math #RocqProver

Readings shared: 17-23 August, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/24-readings_shared_08-24-26 #AI4Math #Agda #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Prolog #RocqProver

Readings shared July 20, 2026. https://jaalonso.github.io/vestigium/posts/2026/07/20-readings_shared_07-20-26 #AI4Math #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #PVS #RocqProver

Readings shared June 5, 2026. https://jaalonso.github.io/vestigium/posts/2026/06/05-readings_shared_06-05-26 #AI4Math #Agda #Autoformalization #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #RacketLang

Readings shared May 29, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/30-readings_shared_05-29-26 #AI4Math #CoqProver #ITP #IsabelleHOL #LeanProver #Logic #Math

Readings shared May 14, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/15-readings_shared_05-14-26 #AI #AI4Math #CoqProver #Emacs #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog

Readings shared May 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/10-readings_shared_05-09-26 #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

Readings shared April 24, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/25-readings_shared_04-24-26 #AI4Math #Autoformalization #CompSci #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Nqthm #RocqProver

Why not just use Lean?. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html #ITP #Nqthm #HOL #CoqProver #IsabelleHOL #LeanProver #AI4Math

Reseña de «AI for mathematical discovery (symbolic, neural and neuro-symbolic methods)». https://jaalonso.github.io/vestigium/posts/2025/07/11-ai-for-mathematical-discovery-symbolic-neural-and-neuro-symbolic-methods/ #AI4Math #ITP #LeanProver #IsabelleHOL #CoqProver

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

Reseña de «50 years of proof assistants». https://jaalonso.github.io/vestigium/posts/2025/12/07-50-years-of-proof-assistants/ #ITP #IsabelleHOL #LeanProver #CoqProver

Readings shared March 09, 2026. https://jaalonso.github.io/vestigium/posts/2026/03/10-readings_shared_02-09-26 #AI #AI4Math #CategoryTheory #CoqProver #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LambdaCalculus #LeanProver #Lisp #Math #Physics #RocqProver

Readings shared February 24, 2026. https://jaalonso.github.io/vestigium/posts/2026/02/25-readings_shared_02-24-26 #AI4Math #ATP #Agda #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Reasoning #Vampire

Readings shared January 24, 2026. https://jaalonso.github.io/vestigium/posts/2026/01/25-readings_shared_01-24-26 #AI #AI4Math #ATP #CoqProver #HOL_Light #ITP #IsabelleHOL #LeanProver #Logic #Math #Prover9 #RocqProver

AI for mathematics: Progress, challenges, and prospects. ~ Haocheng Ju, Bin Dong. https://arxiv.org/abs/2601.13209v2 #AI #Math #AI4Math #ITP #IsabelleHOL #CoqProver #LeanProver

Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2016-17)". https://jaalonso.github.io/cursos/m-ra-14 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2016-17)". https://jaalonso.github.io/cursos/m-ra-14 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2016-17)". https://jaalonso.github.io/cursos/m-ra-14 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2016-17)". https://jaalonso.github.io/cursos/m-ra-14 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2016-17)". https://jaalonso.github.io/cursos/m-ra-14 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2014-15)". https://jaalonso.github.io/cursos/m-ra-14 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2014-15)". https://jaalonso.github.io/cursos/m-ra-14 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2014-15)". https://jaalonso.github.io/cursos/m-ra-14 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2014-15)". https://jaalonso.github.io/cursos/m-ra-14 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2014-15)". https://jaalonso.github.io/cursos/m-ra-14 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2013-14)". https://jaalonso.github.io/cursos/m-ra-13 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2013-14)". https://jaalonso.github.io/cursos/m-ra-13 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2013-14)". https://jaalonso.github.io/cursos/m-ra-13 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2013-14)". https://jaalonso.github.io/cursos/m-ra-13 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2013-14)". https://jaalonso.github.io/cursos/m-ra-13 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2012-13)". https://jaalonso.github.io/cursos/m-ra-12 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2012-13)". https://jaalonso.github.io/cursos/m-ra-12 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2012-13)". https://jaalonso.github.io/cursos/m-ra-12 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2012-13)". https://jaalonso.github.io/cursos/m-ra-12 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL

Curso "Razonamiento automático (2012-13)". https://jaalonso.github.io/cursos/m-ra-12 #RazonamientoAutomático #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