These proofs are still relying on stale verification signal and should be re-run or explicitly reviewed.
ImperialCollegeLondon/FLT
maintenance drain 62%
fully proved 155 / 249 blueprint nodes (statement + dependencies)
- First reductions of the problem 7/10
- Reducibility of p-torsion of the Frey curve 1/8
- An overview of the proof 0/1 · 1 blocked
- An example of an automorphic form 31/35
- Stating the modularity lifting theorems 1/2
- Automorphic forms and the Langlands Conjectures 8/10
- Miniproject: Frobenius elements 12/12
- Miniproject: Adeles 13/51
- Miniproject: Haar Characters 38/39
- Miniproject: Fujisaki's Lemma 16/16
- Miniproject: Quaternion algebras 5/6
- Miniproject: Hecke Operators 17/22
- Appendix: A collection of results which are needed in the proof. 6/30 · 26 blocked
- Other 0/7
| Run | Status | Branch | Queued |
|---|---|---|---|
| #69 | queued | main | |
| #67 | failed | main | |
| #66 | failed | main | |
| #64 | failed | main | |
| #62 | failed | main |