#minlog — Public Fediverse posts

Readings shared February 14, 2026. https://jaalonso.github.io/vestigium/posts/2026/02/15-readings_shared_02-14-26 #AI4Math #Agda #Clojure #CoqProver #FunctionalProgramming #Haskell #ITP #LeanProver #Lisp #Logic #Math #Minlog #Prolog #RustLang

Readings shared May 31, 2025. https://jaalonso.github.io/vestigium/posts/2025/05/31-readings_shared_05-31-25 #Agda #Coq #FunctionalProgramming #Haskell #HoTT #ITP #LeanProver #Logic #Math #Minlog #Rocq

Efficient program extraction in elementary number theory using the proof assistant Minlog. ~ Franziskus Wiesnet. https://msp.cis.strath.ac.uk/types2025/abstracts/TYPES2025_paper1.pdf #ITP #Minlog #Haskell #FunctionalProgramming #Math

Readings shared April 7, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/07-readings_shared_04-07-25 #ATP #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #LogicProgramming #Logic #Math #Minlog #Prolog #SMT

Verified program extraction in number theory: The fundamental theorem of arithmetic and relatives. ~ Franziskus Wiesnet. https://arxiv.org/abs/2504.03460 #ITP #Minlog #Haskell #FunctionalProgramming #Math

Lecturas compartidas el 2 de agosto de 2024. https://jaalonso.github.io/vestigium/posts/2024/08/03-lecturas_compartidas_el_02-ago-24 #ITP #LeanProver #IsabelleHOL #Coq #MinLog #Agda #Logic #Math #FunctionalProgramming #Haskell #Hope #Miranda

Computer-assisted proofs for Lyapunov stability via sums of squares certificates and constructive analysis. ~ Grigory Devadze, Victor Magron & Stefan Streif. https://arxiv.org/abs/2006.09884 #ITP #MinLog #Math