Follow

Finally the official Coq refman is at 8.9.1, lots of improvements over 8.9.0, and more to come!

coq.inria.fr/distrib/current/r

Sign in to participate in the conversation
niu.moe

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !