lean4:定理证明与函数式编程的开源语言平台

Star4
0
Code
Code
Issues
Pull Requests
Discussion
Wiki
Analysis
Star4
0

Lean 4 programming language and theorem prover

Branch5288Tags133

Introduction

Lean 4 编程语言与定理证明器【此简介由AI生成】

Apache-2.0 Lean40.8 KCommitsleanlean4
Customize your domain
README
808.48 K895Visit GitHub