Awesome
Instructions
- Install Coq 8.6.1, and make sure
coqcis in your PATH. maketo buildDatabase.hsstack buildto compile the Haskellstack exec pvto run the server- Navigate to
localhost:1234
coqc is in your PATH.make to build Database.hsstack build to compile the Haskellstack exec pv to run the serverlocalhost:1234