2 ms·
The list on https://coq.inria.fr/documentation https://coq.inria.fr/documentation is pretty comprehensive. Maybe Certified Programming with Dependent Types is
by ufo 10y ago
The list on https://coq.inria.fr/documentation https://coq.inria.fr/documentation is pretty comprehensive.
Maybe Certified Programming with Dependent Types is along the lines of what you are looking for?