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

V8.13+beta1

V8.13+beta1
@gares gares tagged this 07 Dec 13:07 
The Coq Proof Assistant, first beta release of version 8.13.
Assets 2
Loading
0