Repository navigation

feat: upgrade AlgoLib to Lean 4.35.0 and document installation - #27

Merged

sorrachai merged 2 commits into

mainfrom

codex/readme-installation-guide

Nov 9, 2026

Merged

feat: upgrade AlgoLib to Lean 4.35.0 and document installation#27
sorrachai merged 2 commits into
mainfrom
codex/readme-installation-guide

Commits on Nov 9, 2026
- docs: explain installing and importing AlgoLib
  sorrachai
  committed
  8341621
- feat: upgrade AlgoLib to Lean 4.35.0
  sorrachai
  committed
  fee4f48