Skip to content

Commit

Permalink
Adding suggested addition in README to point to CONTRIBUTING (#207)
Browse files Browse the repository at this point in the history
  • Loading branch information
AlexKontorovich authored Nov 7, 2024
1 parent e10fcaa commit 877271f
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -15,3 +15,5 @@ The project is currently being led by Kevin Buzzard. From October 2024 it will b
General information ("What is Fermat's Last Theorem/Lean?" / "Why are you doing this?" etc) is [here](GENERAL.md).

The route we will be taking was planned out essentially entirely by Richard Taylor in discussions with Buzzard. It is a modern variant of the original Wiles/Taylor-Wiles proof. For more details about the mathematics behind the proof, a good place to start is the [blueprint](https://ImperialCollegeLondon.github.io/FLT/blueprint/).

Information on how to contribute is available [here](CONTRIBUTING.md).

0 comments on commit 877271f

Please sign in to comment.