formalisation

There are 0 repository under formalisation topic.

• seL4 / l4v

  seL4 specification and proofs

  isabellesel4-proofsproofformalisationsel4-microkernel
  Language:Isabelle 491

• ernius / formalmetatheory-nominal

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

  agdalambdacalculusformalisation
  Language:Agda 6

• timjs / tophat

  Formal semantics for Task Oriented Programming

  task-oriented-programmingsemanticsformalisationfunctional-programmingscientific-paper
  Language:TeX 2

• rzk-lang / rzk-project-template

  Template for a formalisation project in rzk proof assistant.

  category-theoryformalisationhomotopy-type-theory
  Language:Markdown 0