Proprietário · leanprover-community

leanprover-community

Repositórios de código aberto acompanhados de leanprover-community, ordenados por estrelas.

4 repositórios

#1
mathlib4 ↗@leanprover-communityLean
A biblioteca matemática do Lean 4.
★ 3.989+15Variação de estrelas nos últimos 7 dias
#2
physlib ↗@leanprover-communityLean
Um projeto para digitalizar resultados da física no Lean.
★ 721+4Variação de estrelas nos últimos 7 dias
#3
mathematics_in_lean ↗@leanprover-communityHTML
O repositório do usuário para o tutorial Mathematics in Lean.
★ 584+2Variação de estrelas nos últimos 7 dias
#4
lean4game ↗@leanprover-communityTypeScript
Servidor para hospedar jogos Lean.
★ 549+5Variação de estrelas nos últimos 7 dias