pornview icon indicating copy to clipboard operation
pornview copied to clipboard

Published 20 hours ago • verified publisher icon MichaelBurge
→

Metadata

Porn browser formally-verified in Coq

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

← Metadata

45
Stars
1
Forks
Watchers

Owner

verified publisher icon MichaelBurge

Metadata

Porn browser formally-verified in Coq

Back