#

formalisation

Here are 5 public repositories matching this topic...

seL4 / l4v

seL4 specification and proofs

proof isabelle formalisation sel4-proofs sel4-microkernel

Updated Nov 28, 2024
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 Oct 2, 2024
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

rzk-lang / rzk-project-template

Template for a formalisation project in rzk proof assistant.

category-theory homotopy-type-theory formalisation

Updated Dec 12, 2023
Markdown

Improve this page

Add a description, image, and links to the formalisation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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