lean4leanprover
新收录Lean 4 是一种用于形式验证、函数式编程和交互式证明开发的编程语言和定理证明器。
OPEN SOURCE, OPEN TO EVERYONE
好开源，值得被发现。
发现优质开源项目，匿名提交开源项目，认领编辑你的开源项目。
✳人工精选 · 发现好开源4109已发现
带着好奇心，发现开源世界。
THE FIRST COLLECTIONTopic: lean清除
发现优质开源项目，匿名提交开源项目，认领编辑你的开源项目。
带着好奇心，发现开源世界。
THE FIRST COLLECTIONLean 4 是一种用于形式验证、函数式编程和交互式证明开发的编程语言和定理证明器。