Computational p-adics (in Isabelle/HOL). ~ Jeremy Sylvestre. https://www.isa-afp.org/entries/Computational_pAdics.html #ITP #IsabelleHOL #Math

Computational p-adics (in Isabelle/HOL). ~ Jeremy Sylvestre. https://www.isa-afp.org/entries/Computational_pAdics.html #ITP #IsabelleHOL #Math
Parikh's theorem (in Isabelle/HOL). ~ Fabian Lehr. https://www.isa-afp.org/entries/Parikh.html #ITP #IsabelleHOL
Kraus maps (in Isabelle/HOL). ~ Dominique Unruh. https://www.isa-afp.org/entries/Kraus_Maps.html #ITP #IsabelleHOL
The oneway to hiding theorem (in Isabelle/HOL). ~ Katharina Kreuzer, Dominique Unruh. https://www.isa-afp.org/entries/Oneway2Hiding.html #ITP #IsabelleHOL
Readings shared July 7, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/08-readings_shared_07-07-25 #Coq #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Maxima
Curso "Razonamiento automático (2018-19)". https://jaalonso.github.io/cursos/m-ra-18 #DemostraciónInteractiva #ProgramaciónFuncional #IsabelleHOL #Coq
Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
Curso "Lógica matemática y fundamentos (2018-19)". https://jaalonso.github.io/cursos/lmf-18 #Lógica #ProgramaciónFuncional #IsabelleHOL
Curso "Lógica matemática y fundamentos (2017-18)". https://jaalonso.github.io/cursos/lmf-17 #Lógica #IsabelleHOL
Curso "Razonamiento automático (2017-18)". https://jaalonso.github.io/cursos/m-ra-17 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
Readings shared July 1, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/02-readings_shared_07-01-25 #ITP #IsabelleHOL #LeanProver #Math
Reseña de «Diophantine equations over Z: Universal bounds and parallel formalization». https://jaalonso.github.io/vestigium/posts/2025/07/01-diophantine-equations-over-z-universal-bounds-and-parallel-formalization/ #ITP #IsabelleHOL #Math
Diophantine equations over Z: Universal bounds and parallel formalization. ~ Jonas Bayer, Marco David, Malte Hassler, Yuri Matiyasevich, Dierk Schleicher. https://arxiv.org/abs/2506.20909v2 #ITP #IsabelleHOL #Math
Readings shared June 30, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/01-readings_shared_07-01-25 #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Logic #Maxima #Teaching
Curso "Lógica matemática y fundamentos (2016-17)". https://jaalonso.github.io/cursos/lmf-16 #Lógica #Haskell #ProgramaciónFuncional #IsabelleHOL
Curso "Razonamiento automático (2016-17)". https://jaalonso.github.io/cursos/m-ra-14 #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
Curso "Lógica matemática y fundamentos (2015-16)". https://jaalonso.github.io/cursos/lmf-15 #Lógica #Haskell #ProgramaciónFuncional #IsabelleHOL