Lemma
math, backwards
A leaf, very close.

Look closer.

today's pick
browse
status

Proof-of-system stage. 16 live applications span 4/4 pillars; 10/10 modules are consumed by at least one application; 116 bilingual terms backfill the gaps. Still early — most of math is missing — but the graph now has working evidence. The bar remains one question: does this make a curious learner understand something they could not understand before? Yes — it ships. No — it doesn't, however polished.

Lemma is bilingual at the term level. Hover any underlined word to see its counterpart.
github · rss · CC BY 4.0 (content) · MIT (code)