Proprietário · ImperialCollegeLondon

ImperialCollegeLondon

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

1 repositório

#1
FLT ↗@ImperialCollegeLondonLean
Formalização em andamento em Lean da prova do Último Teorema de Fermat
★ 1.023+9Variação de estrelas nos últimos 7 dias