GitHub - leanprover/reservoir-index: Registry index for Reservoir

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 496 Commits
0art0/lean-slides		0art0/lean-slides
abdoo8080		abdoo8080
acmepjz/md4lean		acmepjz/md4lean
adomani		adomani
adrienchampion		adrienchampion
aeneasverif		aeneasverif
ah1112/synthetic_euclid_4		ah1112/synthetic_euclid_4
alexbrodbelt		alexbrodbelt
alexf91/lean4-ctypes		alexf91/lean4-ctypes
alexjbest/leaff		alexjbest/leaff
alexkeizer		alexkeizer
alexkontorovich/primenumbertheoremand		alexkontorovich/primenumbertheoremand
algebraic-dev		algebraic-dev
alma-n		alma-n
alok/lean-inf		alok/lean-inf
ammkrn		ammkrn
anderssorby		anderssorby
andrejbauer/lean2sexp		andrejbauer/lean2sexp
anlucia		anlucia
anurudhp/aoc2022		anurudhp/aoc2022
apnelson1/matroid		apnelson1/matroid
arademaker/delphin		arademaker/delphin
argumentcomputer		argumentcomputer
arthurpaulino		arthurpaulino
atlas-computing-org		atlas-computing-org
austinletson/use-lean-standard-action-with-bare-project		austinletson/use-lean-standard-action-with-bare-project
avigad		avigad
awodey		awodey
axiomed		axiomed
bergmannjg		bergmannjg
boltonbailey		boltonbailey
bridgekat/filter-game		bridgekat/filter-game
caimeox		caimeox
cmu-l3/llmlean		cmu-l3/llmlean
command-master		command-master
dagurtomas/leancondensed		dagurtomas/leancondensed
dannypsnl		dannypsnl
davepearce/leanevm		davepearce/leanevm
djvelleman		djvelleman
dominique-lawson		dominique-lawson
draperlaboratory/elfsage		draperlaboratory/elfsage
dtumad		dtumad
dupuisf		dupuisf
dwrensha		dwrensha
elifuskuplu		elifuskuplu
emilyriehl		emilyriehl
eric-wieser		eric-wieser
fgdorais		fgdorais
fldutchmann		fldutchmann
forked-from-1kasper		forked-from-1kasper
formalizedformallogic		formalizedformallogic
formalsat		formalsat
fpvandoorn		fpvandoorn
fr-vdash-bot/algorithm		fr-vdash-bot/algorithm
functionally		functionally
fwuermse		fwuermse
girving		girving
glams-lean-2024		glams-lean-2024
goens/lost-pop-lean		goens/lost-pop-lean
google-deepmind/debate		google-deepmind/debate
gsierra99/exformmathl4		gsierra99/exformmathl4
hagb/lean-groebner		hagb/lean-groebner
hannahsantos/fmcn_lean		hannahsantos/fmcn_lean
hanwenzhu/primality-tests		hanwenzhu/primality-tests
happyves		happyves
hargonix		hargonix
haruhisa-enomoto/mathlib4-all-tactics		haruhisa-enomoto/mathlib4-all-tactics
heplean		heplean
hhu-adam		hhu-adam
hwatheod		hwatheod
iehality		iehality
igrep		igrep
imperialcollegelondon		imperialcollegelondon
izzimach/lean-glfw		izzimach/lean-glfw
jaalonso		jaalonso
jamesgallicchio		jamesgallicchio
jeswr		jeswr
jlimperg/regensburg-itp-school-2023		jlimperg/regensburg-itp-school-2023
joehendrix/lean-crypto		joehendrix/lean-crypto
joonas-vonlerber		joonas-vonlerber
jsm28		jsm28
jtristan		jtristan
katydid		katydid
katzenpost/crypt_walker		katzenpost/crypt_walker
keilambda/eocia-lean		keilambda/eocia-lean
kim-em/lean-training-data		kim-em/lean-training-data
kislyjkisel		kislyjkisel
kkaunda		kkaunda
kmill		kmill
knowsys		knowsys
kovach/etch		kovach/etch
lean-dojo		lean-dojo
lean-ja		lean-ja
lean-machines-central		lean-machines-central
leanprover-community		leanprover-community
leanprover		leanprover
lecopivo		lecopivo
lf-lang		lf-lang
lindy-labs		lindy-labs
lnay		lnay