search

jesse-michael-han / lean-tpe-public

The Lean Theorem Proving Environment
Apache License 2.0
13 stars 4 forks source link

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated