seL4 specification and proofs
-
Updated
Dec 20, 2024 - Isabelle
#
formalisation
Here are 5 public repositories matching this topic...
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
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory
-
Updated
May 6, 2018 - Agda
Formal semantics for Task Oriented Programming
-
Updated
Jan 14, 2021 - TeX
Template for a formalisation project in rzk proof assistant.
-
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.
Add this topic to your repo
To associate your repository with the formalisation topic, visit your repo's landing page and select "manage topics."