Skip to content
V8.12.2 protected
default avatar
theo.zimmermann@inria.fr
e64a5adb · Merge PR #13607: [v8.12] 8.12.2 release · 
The 8.12.2 release of the Coq proof assistant.