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—

Community at a glance