GitHub / leanprover / lean3

Lean Theorem Prover

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean3
PURL: pkg:github/leanprover/lean3

Stars: 2,155
Forks: 218
Open issues: 58

License: apache-2.0
Language: C++
Size: 50.3 MB
Dependencies parsed at: Pending

Created at: about 12 years ago
Updated at: 3 days ago
Pushed at: almost 2 years ago
Last synced at: 1 day ago

Topics: dependent-types, lean, programming-language, theorem-proving, type-theory, verification

Loading...