ndmitchell/proof

Haskell library for writing proofs

This repository is not active