Lean

repotechsstarsweeklyforksweekly
leanprover/lean4LeanC++CMake2.8k+30247+6
leanprover-community/mathlib4LeanPythonShell336+12135+5
leanprover-community/mathlibLeanOther1.6k+43010
leanprover-community/lean-liquidLeanOther134+2100
leanprover/lean4-samplesLeanCSSJavaScript61+2180
avigad/lean-autoLeanSMT3+200
openai/miniF2FObjective-C++IsabelleLean206+1390
IPDSnelting/tba-2022Lean13+120
yatima-inc/yatima-langLean70+15+1
leanprover/std4Lean118+142+1
yatima-inc/yatimaLean70+15+1
gebner/quote4LeanMakefile52+170
jjdishere/EGLeanTeX5+142+9
input-output-hk/cardano-walletHaskellMarkdownRuby72602270
ImperialCollegeLondon/formalising-mathematics-2022Lean1130270
openai/lean-gymLeanShell1190310
leanprover-community/tutorialsLeanPython1790640
igithublab/MT1300LeanShell650930
arthurpaulino/lean4-metaprogramming-bookLeanPython1440310
Faris999/indonesian-mo-formalizationLean2020
zhangir-azerbayev/lean-chatLeanPython48050
yatima-inc/straumeLean5010
leanprover-community/lftcm2020LeanTeXPython630780
ImperialCollegeLondon/natural_number_gameLeanHTMLOther2770720
plfa/plflLean13040
Next >

Popular technologies

Popular topics