GitHub repository: unitb/literate-unitb-complete
Primary language: Haskell
Created: 2017-06-09T17:03:38Z
Description: Verifier for Unit-B -- PRE-ALPHA SOFTWARE, please don't post to HN or Reddit