issues
search
coq
/
coq.github.io
Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15
stars
37
forks
source link
add Hydras & Co. book to documentation
#187
Closed
palmskog
closed
2 years ago
palmskog
commented
2 years ago
cc: @Zimmi48 @Casteran
Zimmi48
commented
2 years ago
By the way, the URL needs to be filled in.
cc: @Zimmi48 @Casteran