@hackage qed0.0

Simple prover

Categories
License
BSD-3-Clause
Maintainer
Neil Mitchell <ndmitchell@gmail.com>
Links
Versions
- 0.0 Tue, 3 Nov 2015

Installation
In your cabal file:
Dependencies (9)
- base >=4 && <5
- deepseq
- directory
- filepath
- transformers
- exceptions
Dependents (1)
@hackage/acme-everything

A prototype proof system.