注册
登录
精益
float-cohorts
返回
项目作者:
zoickx
项目描述 :
Simple value-preserving operations on floats in Coq (Flocq)
高级语言:
Coq
项目主页:
项目地址:
git://github.com/zoickx/float-cohorts.git
创建时间:
2019-09-11T14:25:23Z
项目社区:
https://github.com/zoickx/float-cohorts
开源协议:
下载