LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

apap

Formalisation of the Kelley-Meka bound on Roth numbers

LeanEmergingadditive-combinatoricscombinatoricslean4

Stars

25

Forks

10

Contributors

8

Last push

2d ago

Recent commits

Latest commits.

Bump to v4.31.0
86a7ccbYaël Dillies2d ago
Fix typo in integer statement
56041e8Yaël Dillies2d ago
Backwards flags are now unnecessary
8261296Yaël Dillies4d ago
Drop `Even.max`
78ba56dYaël Dillies5d ago
ci: update nokogiri to 1.19.3 to support Ruby 3.4 in CI (#18)
89c21be√27d ago

ci: pin Ruby to 3.3 for docs compatibility (#17)

2db96e9√27d ago

Bound on the size of `Δ'` in `ap_in_ff`

c96d796Yaël Dillies8d ago

Fill in computational sorries in `ap_in_ff`

be304c7Yaël Dillies8d ago

Top contributors

Builders behind this project.