Pinned

1. literate-unitb-complete literate-unitb-complete Public

   Verifier for Unit-B -- Alpha-stage software. Please don't post to HN or Reddit

   Haskell 1

2. unitb-semantics unitb-semantics Public

   Proof of soundness of the Unit-B refinement calculus

   Lean 3 1

3. temporal-logic temporal-logic Public

   Lean 8 3

4. unitb-pointers unitb-pointers Public

   Lean