search

jesse-michael-han / lean-tpe-public

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

Organization name is invalid #4

Open Some-random opened 1 year ago

Some-random commented 1 year ago

The organization name is hard coded in backends and it doesn't exist anymore. Maybe we should let the user pass in organization name?