A minimal user documentation is needed

rlepigre / pml

New version of the PML language and (classical) proof assistant

http://pml-lang.org

MIT License

20 stars 2 forks source link

Open craff opened 6 years ago

craff commented 6 years ago

Currently make doc, is just for developer (ocamldoc of files)

craff commented 2 years ago

The pml book is progressing, at least for that part! Still not yet there.