Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

lean

Analyzed 4 months ago

Lean Theorem Prover

1.48M lines of code

6 current contributors

5 months since last commit

0 users on Open Hub

Activity Not Available

I Use This

Licenses: apache_2