Similar repositories to eric-wieser/lean-matrix-cookbook:
eric-wieser/lean-matrix-cookbook
github
similar
bryangingechen/lean-matroids
github
similar
leanprover-community/vscode-lean4
github
similar
tuvtran/project-based-learning
github
similar
pixijs/pixi.js
github
similar
jasonrute/annotated_lean
github
similar
avigad/mathematics_in_lean
github
similar
ericrbg/leanFAQ
github
similar
alexjbest/dag-tools
github
similar
e45lee/lean-matroids
github
similar
atarnoam/lean-automata
github
similar
adamtopaz/comb_geom
github
similar
leanprover-community/lean-client-python
github
similar
leanprover-community/leancrawler
github
similar
gebner/m17n-lean
github
similar
digama0/advent-of-code
github
similar
minchaowu/mm-lean
github
similar
gihanmarasingha/miu_language
github
similar
SnobbyDragon/leanhanoi
github
similar
digama0/olean-rs
github
similar
jsm28/bmo2-2020-lean
github
similar
david-a-wheeler/metamath-knife
github
similar
b-mehta/combinatorics
github
similar
hargoniX/cpdt-lean
github
similar
kendfrey/rubiks-cube-group
github
similar
arthurpaulino/lean2md
github
similar
rwbarton/lean-homotopy-theory
github
similar
ImperialCollegeLondon/M1P1-lean
github
similar
dselsam/binport
github
similar
ammkrn/nanoda_lib
github
similar
jasonrute/thoughts-on-ai-for-theorem-proving
github
similar
TOTBWF/lean4-raytrace
github
similar
forked-from-1kasper/leanbot
github
similar
dselsam/mathport
github
similar
asouther4/lean-social-choice
github
similar
leanprover-community/flt-regular
github
similar
mmasdeu/topologygame
github
similar
ATOMSLab/LeanChemicalTheories
github
similar
leanprover/lean4-samples
github
similar
leanprover-community/doc-gen
github
similar