Porn browser formally-verified in Coq
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
PV
images
make
static
.gitignore
Database.hs
Database.v
Main.hs
Makefile
README.md
_CoqProject
pornview.cabal
stack.yaml

README.md

Instructions

  • Install Coq 8.6.1, and make sure coqc is in your PATH.
  • make to build Database.hs
  • stack build to compile the Haskell
  • stack exec pv to run the server
  • Navigate to localhost:1234