Skip to content
V8.13.1 protected
Enrico's avatar
Enrico
@gares-gl
7f08a618 · Backport PR #13878: [RM] Changelog for 8.13.1 · 
The Coq proof assistant, version 8.13.1