Faris999/indonesian-mo-formalization

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

Lean
This is stars and forks stats for /Faris999/indonesian-mo-formalization repository. As of 29 Mar, 2024 this repository has 2 stars and 2 forks.

indonesian-mo-formalization Formalization of Indonesian Mathematical Olympiad problems using Lean | Formalisasi soal-soal OSN/KSN Matematika menggunakan Lean File Organization This repository contains two main folders, src and problems. The problems folder contains the informal statements in Markdown format. The src folder contains the Lean sources of the formalizations. The problems folder contains year folders, where each contains the Markdown files for the informal problem statements. The Markdown...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
zhangir-azerbayev/lean-chatLeanPython48050
yatima-inc/straumeLean5010
leanprover-community/lftcm2020LeanTeXPython630780
ImperialCollegeLondon/natural_number_gameLeanHTMLOther2780740
plfa/plflLean13040
leanprover/lean4-samplesLeanCSSJavaScript610190
AndrasKovacs/smallttLeanIdrisAgda4720230
BartoszPiotrowski/lean-premise-selectionLeanShellTypeScript12000
leanprover/std4Lean1190450
PatrickMassot/lean-verboseLean52010