interactive-theorem-proving

Here are 2 public repositories matching this topic...

A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.

[WIP] A formalised proof of a generalised Carleson's Theorem in the Lean proof assistant.

Add a description, image, and links to the interactive-theorem-proving topic page so that developers can more easily learn about it.

To associate your repository with the interactive-theorem-proving topic, visit your repo's landing page and select "manage topics."