Similar repositories to kbuzzard/lean-stacks-project:
kbuzzard/lean-stacks-project
github
similar
Shenyang1995/M4R
github
similar
kckennylau/local-langlands-abelian
github
similar
martinescardo/HoTTEST-Summer-School
github
similar
gibiansky/IHaskell
github
similar
ramonfmir/lean-scheme
github
similar
LAC1213/compact_unit_ball
github
similar
rwbarton/lean-omin
github
similar
adamtopaz/comb_geom
github
similar
jjaassoonn/transcendental
github
similar
mariainesdff/ideles
github
similar
superficie/superficie-algebriche
github
similar
pbelmans/topologies-comparison
github
similar
leanprover-community/lean-perfectoid-spaces
github
similar
google/formal-ml
github
similar
SnobbyDragon/leanhanoi
github
similar
jthickstun/lean
github
similar
semorrison/lean-category-theory
github
similar
leanprover-community/mathlib-tools
github
similar
kbuzzard/mathematics-in-lean
github
similar
PatrickMassot/lean-differential-topology
github
similar
htzh/leanproved
github
similar
PeterScholze/Analytic
github
similar
leanprover-community/flt-regular
github
similar
rwbarton/lean-homotopy-theory
github
similar
dselsam/binport
github
similar
avigad/mathematics_in_lean_source
github
similar
leanprover-community/sphere-eversion
github
similar
gebner/trepplein
github
similar
dselsam/mathport
github
similar
forked-from-1kasper/leanbot
github
similar
leanprover-community/leanprover-community.github.io
github
similar
gerby-project/gerby-website
github
similar
leanprover-community/leancrawler
github
similar
ymonbru/Diagram-chasing
github
similar
kuprel/min-dalle
github
similar
Eloston/ungoogled-chromium
github
similar
tootsuite/mastodon
github
similar
emilaxelsson/milkshake
github
similar
danistefanovic/build-your-own-x
github
similar