Repositórios de código aberto acompanhados de lecopivo, ordenados por estrelas.
Computação científica em Lean 4
