GitHub repository: Faris999/indonesian-mo-formalization
Primary language: Lean
Created: 2022-06-01T02:50:07Z
Description: Formalization of Indonesian Mathematical Olympiad problems using Lean / Formalisasi soal-soal OSN/KSN Matematika menggunakan Lean