Proprietário · leanprover

leanprover

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

3 repositórios

#1
lean4 ↗@leanproverLean
Linguagem de programação e provador de teoremas Lean 4
★ 8.960+32Variação de estrelas nos últimos 7 dias
#2
cslib ↗@leanproverLean
A Biblioteca de Ciência da Computação Lean (CSLib)
★ 691+15Variação de estrelas nos últimos 7 dias
#3
elan ↗@leanproverRust
O gerenciador de versões do Lean
★ 614+8Variação de estrelas nos últimos 7 dias