Unit-B's repositories
unitb-semantics
Proof of soundness of the Unit-B refinement calculus
literate-unitb
[INACTIVE] Development continued in literate-unitb-complete
axiomatic-classes
Specify axioms for type classes and quickCheck all available instances
literate-unitb-complete
Verifier for Unit-B -- Alpha-stage software. Please don't post to HN or Reddit
unitb.github.io
Unit-B web site