项目作者: praalhans

项目描述 :
Formalization of proof system for ABS in the Lean theorem prover
高级语言: Lean
项目地址: git://github.com/praalhans/lean-abs.git
创建时间: 2019-02-04T15:16:42Z
项目社区:https://github.com/praalhans/lean-abs

开源协议:MIT License

下载