Unit-B

Pinned

1. literate-unitb-complete Public

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

   Haskell 1

2. unitb-semantics Public

   Proof of soundness of the Unit-B refinement calculus

   Lean 3 1

3. temporal-logic Public

   Lean 4 3

4. unitb-pointers Public

   Lean