#

formalisation

Here are 6 public repositories matching this topic...

seL4 / l4v

seL4 specification and proofs

proof isabelle formalisation sel4-proofs sel4-microkernel

Updated Sep 6, 2026
Isabelle

pitmonticone / LeanInVienna2024

Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.

tutorial research logic mathematics proof-assistant lean formal-methods formal-mathematics interactive-theorem-proving tu-wien formal-proofs formalisation leanprover lean4 formalized-mathematics formalisation-mathematics

Updated Jan 14, 2025
Lean

ernius / formalmetatheory-nominal

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory

lambda calculus agda formalisation

Updated May 6, 2018
Agda

timjs / tophat

Formal semantics for Task Oriented Programming

functional-programming semantics scientific-paper formalisation task-oriented-programming

Updated Jan 14, 2021
TeX

pdmosses / mfps2026-agda

Agda code for an MFPS 2026 paper

agda denotational-semantics formalisation postulates mechanisation synthetic-domain-theory

Updated Jun 7, 2026
TeX

rzk-lang / rzk-project-template

Template for a formalisation project in rzk proof assistant.

category-theory homotopy-type-theory formalisation

Updated Jun 15, 2026
Markdown

Add this topic to your repo

To associate your repository with the formalisation topic, visit your repo's landing page and select "manage topics."