A toy PL for writing proofs inline with imperative code
Primary LanguageHaskell
No one’s star this repository yet.