#

unitb

Here are 7 public repositories matching this topic...

unitb / literate-unitb

[INACTIVE] Development continued in literate-unitb-complete

verification unitb

Updated Jun 25, 2017
Haskell

unitb / literate-unitb-logic

verification theorem-prover unitb

Updated Jun 25, 2017
Haskell

unitb / literate-unitb-scripts

unitb

Updated Apr 17, 2017
Haskell

unitb / literate-unitb-config

unitb

Updated Apr 17, 2017
Haskell

unitb / literate-unitb-complete

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

verification unitb

Updated Aug 24, 2017
Haskell

unitb / literate-unitb-latex

unitb

Updated Apr 17, 2017
Haskell

unitb / literate-unitb-utils

unitb

Updated Apr 17, 2017
Haskell

Improve this page

Add a description, image, and links to the unitb topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the unitb topic, visit your repo's landing page and select "manage topics."