KakeyaFiniteFields

Commands

Building Lean files:

lake exe cache get && lake build

For blueprint, please install uv and latex first.

Building blueprint (PDF):

uvx leanblueprint pdf

Building blueprint (web local server):

uvx leanblueprint web && uvx leanblueprint serve