Propietario · ImperialCollegeLondon

ImperialCollegeLondon

Repositorios de código abierto monitorizados de ImperialCollegeLondon, ordenados por estrellas.

1 repositorio

#1
FLT ↗@ImperialCollegeLondonLean
Formalización continua en Lean de la demostración del Último Teorema de Fermat
★ 1023+9Variación de estrellas de los últimos 7 días