A formalised approach to the composition of processes over linear resources. ~ Filip Smola. https://era.ed.ac.uk/bitstream/handle/1842/43681/Smola2025.pdf #ITP #IsabelleHOL
Gödel's incompleteness theorems (in Isabelle/HOL). ~ Lawrence C. Paulson, with Janis Bailitis. https://www.isa-afp.org/entries/Incompleteness.html #ITP #IsabelleHOL #Logic #Math
Readings shared July 14, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/15-readings_shared_07-14-25 #Coq #ITP #IsabelleHOL #LLMs #LeanProver #Math
Exploiting instantiations from paramodulation proofs in Isabelle/HOL. ~ Lukas Bartl, Jasmin Blanchette, Tobias Nipkow. https://www.tcs.ifi.lmu.de/mitarbeiter/jasmin-blanchette/inst.pdf #ITP #IsabelleHOL
Completeness of the decreasing diagrams method for proving confluence of rewriting systems of the least uncountable cardinality. ~ Ievgen Ivanov. https://drops.dagstuhl.de/storage/00lipics/lipics-vol337-fscd2025/LIPIcs.FSCD.2025.25/LIPIcs.FSCD.2025.25.pdf #ITP #IsabelleHOL
Readings shared July 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/11-readings_shared_07-10-25 #FunctionalProgramming #Haskell #ITP #IsabelleHOL
Curso "Lógica matemática y fundamentos (2019-20)". https://jaalonso.github.io/cursos/lmf-19 #Lógica #ProgramaciónFuncional #IsabelleHOL
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