Stream: Miscellaneous

Topic: coq api documentation on github

view this post on Zulip Navaneeth M Nambiar (Apr 05 2021 at 09:48):

Hi all, new here and beginner to Coq. Unsure where to post this, so posting here
I was exploring coq and was tasked with writing a plugin for it

I used to refer to the api documentation which I got from the github repo
The link -

However, as of recent, the link turns empty. Couldn't find any other posts on it (or I could have missed that)
The exact link I was referring to was this -
This now goes 404

looking at the repo, perhaps a recent commit broke it
However, only master seems to be affected
while version links work fine i.e. like this :

Hope I'll let you know about it and someone can look more into it :smile:

view this post on Zulip Théo Zimmermann (Apr 05 2021 at 15:30):

Hi @Navaneeth M Nambiar. Yes, this is known and expected. The core APIs can now be found in

Last updated: Nov 29 2023 at 17:01 UTC