search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Removed the reference tp PG async. #215

Closed Matafou closed 1 year ago

Matafou commented 1 year ago

It never reached the release state.