3 Star 0 Fork 0

Gitee 极速下载 / coq2rust

加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
此仓库是为了提升国内下载速度的镜像仓库,每日同步一次。 原始仓库: https://github.com/pirapira/coq2rust
克隆/下载
COPYRIGHT 662 Bytes
一键复制 编辑 Web IDE 原始数据 按行查看 历史
ppedrot 提交于 2012-05-25 09:56 . Fixed #2789.
The Coq proof assistant
Copyright 1999-2011 The Coq development team, INRIA, CNRS, University
Paris Sud, University Paris 7, Ecole Polytechnique.
This product includes also software developed by
Pierre Crégut, France Telecom R & D (plugins/omega and plugins/romega)
Pierre Courtieu and Julien Forest, CNAM (plugins/funind)
Claudio Sacerdoti Coen, HELM, University of Bologna, (plugins/xml)
Pierre Corbineau, Radboud University, Nijmegen (declarative mode)
John Harrison, University of Cambridge (csdp wrapper)
The file CREDITS contains a list of contributors.
The credits section in the Reference Manual details contributions.
1
https://gitee.com/mirrors/coq2rust.git
git@gitee.com:mirrors/coq2rust.git
mirrors
coq2rust
coq2rust
rust

搜索帮助

14c37bed 8189591 565d56ea 8189591