/pornview

Porn browser formally-verified in Coq

Primary LanguageCoq

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