A lemma is "something assumed" — an intermediate theorem on the path to a larger proof, or a heading that signals the subject of what follows.
Lethean
lthn
AI & ML interests
None yet
Recent Activity
updated a dataset about 6 hours ago
lthn/LEM-Trainer published a dataset about 6 hours ago
lthn/LEM-Trainer updated a dataset about 7 hours ago
lthn/LEM-Ethics