lemmas topic
List
lemmas repositories
MO-Problem-Journal
48
Stars
5
Forks
Watchers
A journal of theorems, lemmas and problems for Mathematical Olympiads.
tischendorf-data
15
Stars
9
Forks
Watchers
Tischendorf 8th Greek New Testament with morphology, Strong's numbers, and lemmatization