leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
202 stars 35 forks source link

Implicit arguments in `Statement` #65

Closed joneugster closed 1 year ago

joneugster commented 1 year ago

Implicit arguments in a named statement will be explicit later. They should however stay implicit.

joneugster commented 1 year ago

It seems that this has been fixed.