Skip to content

Intuitionistic version of the Profound interactive theorem proving tool

License

Notifications You must be signed in to change notification settings

direct-manipulation/profint

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Profound (Intuitionistic Version)

THIS IS UNFINISHED SOFTWARE

To build

$ dune build @check # this may fail -- that's OK!
$ opam install . --deps-only
$ npm install
$ cd demo
$ make
$ python3 -m http.server 8000

Then open http://localhost:8000 in a browser. Change the port number if 8000 is unavailable.