Projects in Awesome Lists tagged with formalisation
A curated list of projects in awesome lists tagged with formalisation .
https://github.com/sel4/l4v
seL4 specification and proofs
formalisation isabelle proof sel4-microkernel sel4-proofs
Last synced: 26 Jan 2026
https://github.com/pitmonticone/leaninvienna2024
Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
formal-mathematics formal-methods formal-proofs formalisation formalisation-mathematics formalized-mathematics interactive-theorem-proving lean lean4 leanprover logic mathematics proof-assistant research tu-wien tutorial
Last synced: 03 Jan 2026
https://github.com/rzk-lang/rzk-project-template
Template for a formalisation project in rzk proof assistant.
category-theory formalisation homotopy-type-theory
Last synced: 02 Sep 2025
https://github.com/pdmosses/mfps2026-agda
Agda code for an MFPS 2026 paper
agda denotational-semantics formalisation mechanisation postulates synthetic-domain-theory
Last synced: 04 Jun 2026
