José A. Alonso
Readings shared March 11, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/11-readings_shared_03-11-25 #AI #ATP #Emacs #FormalVerification #Haskell #ITP #IsabelleHOL #Jape #LLMs #LeanProver #Logic #LogicProgramming #MAS #Mace #Math #Otter #PVS #Prolog #SMLs #SMT #Scala #Z3
Readings shared February 11, 2025

The readings shared in Bluesky on 11 March 2025 are Extrinsic termination proofs for well-founded recursion in Lean. ~ Joachim Breitner. #ITP #LeanProver Knuth Bendix solver on Z3 AST. ~ Philip Zucke

Vestigium
Mar 12, 2025 at 6:51amWeb