olympiad topic
List
olympiad repositories
MO-Problem-Journal
48
Stars
5
Forks
Watchers
A journal of theorems, lemmas and problems for Mathematical Olympiads.
CompetitiveProgramming
46
Stars
5
Forks
Watchers
A collection of my solutions to various informatics olympiad problems
ineqmath
52
Stars
7
Forks
Watchers
Solving Inequality Proofs with Large Language Models.