Faris999/indonesian-mo-formalization

Formalization of Indonesian Mathematical Olympiad problems using Lean / Formalisasi soal-soal OSN/KSN Matematika menggunakan Lean

LeanStars 3Forks 2Watchers 3Open issues 6License MIT License
Details
仓库信息
OwnerFaris999
Homepage
Last pushed2022-07-25
Last updated2025-12-13
Issues fetched at

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--