ImperialCollegeLondon/FLT

maintenance drain
main public updated latest build queued

Next action Worker drain enabled Verification is queued while maintenance drain is pausing new claims. Latest error: job_failed
62%
fully proved 155 / 249 blueprint nodes (statement + dependencies)
Theorems
4,771 · 32 sorries
Changes
review
  • 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
Recent runs All runs
Run Status Branch Queued
#69 queued main
#67 failed main
#66 failed main
#64 failed main
#62 failed main

Keyboard shortcuts