Def A

Modification history

2023-05-30 23:18

archive/imo/imo1998_q2.lean

chore(archive + counterexamples): namespaces imo, theorems_100, counterexample, plus three more (#19129) …

Deleted A View on Github →

2020-10-19 22:45

archive/imo/imo1998_q2.lean

feat(archive/imo): formalize IMO 1998 problem 2 (#4502)

Added A View on Github →