8000 Release V8.12.1 · janmasrovira/coq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

V8.12.1

V8.12.1
@Zimmi48 Zimmi48 tagged this 13 Nov 17:05 
The Coq proof assistant, version 8.12.1.
Assets 2
Loading
0