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...
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...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
zhangir-azerbayev/lean-chat | LeanPython | 48 | 0 | 5 | 0 |
yatima-inc/straume | Lean | 5 | 0 | 1 | 0 |
leanprover-community/lftcm2020 | LeanTeXPython | 63 | 0 | 78 | 0 |
ImperialCollegeLondon/natural_number_game | LeanHTMLOther | 278 | 0 | 74 | 0 |
plfa/plfl | Lean | 13 | 0 | 4 | 0 |
leanprover/lean4-samples | LeanCSSJavaScript | 61 | 0 | 19 | 0 |
AndrasKovacs/smalltt | LeanIdrisAgda | 472 | 0 | 23 | 0 |
BartoszPiotrowski/lean-premise-selection | LeanShellTypeScript | 12 | 0 | 0 | 0 |
leanprover/std4 | Lean | 119 | 0 | 45 | 0 |
PatrickMassot/lean-verbose | Lean | 52 | 0 | 1 | 0 |