search

coq / platform-docs

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
https://coq.inria.fr/platform-docs/
Other
19 stars 10 forks source link

Set up a web interface #7

Closed thomas-lamiaux closed 4 months ago

thomas-lamiaux commented 5 months ago

We need to set up a first interactive web interface.

Ressources : https://github.com/jscoq/coqdoc-template