SCANNING · Loading page

Loading
the next page.

Content will appear as soon as it is ready.

spivak-lean: Michael Spivak's Calculus formalized i… | Indie Raiders

Unknown regionDeveloper toolsSeptember 27

spivak-lean

Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and 4th editions - stormj-UH/spivak-…

Visit website ↗

SITE CAPTURE

PricingCheck the website

CategoryDeveloper tools

Site namespivak-lean

RegionUnknown region

Based on information published on the service's website. Selection and review policy

Developer tools
Open source

Report this service

ReasonDetails (optional)Evidence URL (optional)CompanyThe operator checks the evidence. A single report does not automatically block a service.

Similar services

Unknown region · Developer toolsBridle

Bridle is an open protocol that connects your coding agent to your teammate's.

→

Unknown region · Developer toolsensemble-prover

Autonomous theorem prover combining language-model proof search with Lean 4 verification.

→

Unknown region · Developer toolsgetrequest

API reliability infrastructure for modern teams.

→

Unknown region · Developer toolsillithid

One library of rules, skills, subagents and MCP servers for Claude Code, Codex, OpenCode, Gemini CLI and GitHub Copilot.

→

RAIDERS

Based on information published on the service's website

Collections Korean services AI tools Developer tools Open source

Loadingthe next page.

spivak-lean

Similar services

Loading
the next page.