This is your work, valued
peridot. A fast functional language based on two level type theory
LHL. Linearizability Hoare Logic
konna. Haskell
djinn. Prototype "wiki-style" theorem prover
alba. Haskell
formal-elab. Coq
