search

jesse-michael-han / lean-tpe-public

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

Update README.org, add installation manual for leanproject #3

Open Some-random opened 1 year ago