Lean

repotechsstarsweeklyforksweekly
leanprover/lean4LeanC++CMake2.2k+14206+2
leanprover-community/mathlibLeanOther1.5k+1285+1
input-output-hk/cardano-walletHaskellRubyMarkdown69602200
ImperialCollegeLondon/formalising-mathematics-2022Lean1050250
openai/lean-gymLeanShell980220
openai/miniF2FObjective-C++IsabelleLean1830340
leanprover-community/lean-liquidLeanOther1160100
leanprover-community/tutorialsLeanPython1630580
igithublab/MT1300LeanShell630900
IPDSnelting/tba-2022Lean8020
arthurpaulino/lean4-metaprogramming-bookLeanPython990230
leanprover-community/mathlib4LeanOther1750720
yatima-inc/yatima-langLean49020
Faris999/indonesian-mo-formalizationLean2020
zhangir-azerbayev/lean-chatLeanPython42050
yatima-inc/straumeLean5010
leanprover-community/lftcm2020LeanTeXPython590760
ImperialCollegeLondon/natural_number_gameLeanHTMLOther2570690
plfa/plflLean9040
leanprover/lean4-samplesLeanCSSJavaScript30090
AndrasKovacs/smallttLeanIdrisAgda4360230
BartoszPiotrowski/lean-premise-selectionLeanTypeScriptShell10000
leanprover/std4Lean650260
PatrickMassot/lean-verboseLean50010
brendanzab/language-gardenOCamlNixLean101020
Next >

Popular technologies

Popular topics