search

leanprover-community / lean4game

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

Change "Lemmas" in Inventory #108

Open joneugster opened 1 year ago

joneugster commented 1 year ago

Should probably be renamed to "Theorems" as lemma does not exists outside mathlib. The term "Proofs" has also been suggested.

kbuzzard commented 1 year ago

Either would be better than "Lemmas" I think.

joneugster commented 1 year ago

Done locally. Left internals line NewLemma untouched for now, but once we're happy,we should rename them too.