Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / pitmonticone / FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pitmonticone%2FFLT
Fork of ImperialCollegeLondon/FLT
Stars: 1
Forks: 1
Open Issues: 0
License: apache-2.0
Language: TeX
Repo Size: 29.8 MB
Dependencies: pending
Created: 29 days ago
Updated: 11 days ago
Last pushed: 11 days ago
Last synced: 11 days ago
Topics: algebra, fermat-last-theorem, formal-mathematics, formal-methods, formal-proofs, lean, lean4, number-theory
Funding links: https://github.com/sponsors/pitmonticone