LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

26d ago

Recent commits

Latest commits.

Add a Verso blueprint (#969)
c375dddKevin Buzzard26d ago
chore: Bump `mathlib` dependency to 5feb5ab (#968)
00908d8github-actions[bot]27d ago
chore: Bump `mathlib` dependency to da121d2 (#967)
91d743fgithub-actions[bot]27d ago
chore(deps-dev): bump faraday from 2.14.1 to 2.14.2 in /docs (#965)
7a87d3bdependabot[bot]28d ago
perf: tidy up FLT/DedekindDomain/Completion/BaseChange.lean (#963)
d9a372bKevin Buzzard28d ago

chore: Bump `mathlib` dependency to 7e2ece3 (#966)

2ac4a1dgithub-actions[bot]29d ago

chore: Bump `mathlib` dependency to e12bcd0 (#961)

84e412fgithub-actions[bot]1mo ago

fix: remove unused simp lemma (#960)

7854adcKevin Buzzard1mo ago

Top contributors

Builders behind this project.

Ruben-VandeVelde

github-actions[bot]

dependabot[bot]

morrison-daniel