lammich

isabelle_llvm. Isabelle LLVM Code Generator and Refinement

lrat_isa. Fast and formally verified UNSAT certificate checker

RIO2025-isabelle. Public repository for Isabelle course at RIO2025 summer school

MCR_SS_2019_FunProgProve. Faculty Summer School Manchester 2019: Functional Programming and Interactive Theorem Proving