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
☆45Sep 26, 2026Updated 3 weeks ago
Alternatives and similar repositories for spivak-lean
Users that are interested in spivak-lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- nostr paid relay, but with monero decentralized, monero, nostr, relay, strfry, xmr☆30May 15, 2025Updated last year
- A rust port of con-leche☆31Updated this week
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 9 months ago
- A local-first coding agent that doesn't take "done" on faith: the engine keeps the run going until the project's own tests pass, and ever…☆82Sep 22, 2026Updated 3 weeks ago
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A proof of Conway's refinement conjecture in Lean☆55Sep 3, 2026Updated last month
- Commodore 64 hardware simulator☆221Updated this week
- ☆72Updated this week
- An external lean checker with a proof of consistency☆135Updated this week
- ☆51Updated this week
- 86,420,337 lines — a 10 GB log — open in 80 ms, and 0 bytes of it live in memory. A Mac-native viewer and editor for the files that break…☆36Updated this week
- Wip is a native, standalone CLI for WSL Containers (WSLC), providing native-like interaction with containerized applications.☆38Updated this week
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- ☆22May 3, 2026Updated 5 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- For Jar artifacts☆20Nov 8, 2025Updated 11 months ago
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Nov 4, 2015Updated 10 years ago
- Links to recourses for the Lean Theorem Prover☆13Dec 3, 2019Updated 6 years ago
- ☆16Jul 3, 2023Updated 3 years ago
- Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 …☆281Updated this week
- MoFlo — an opinionated, local-first AI agent orchestration toolkit for Claude Code: semantic memory, learned routing, gates, and spells. …☆18Oct 1, 2026Updated 2 weeks ago
- A practical governance framework for organizations adopting the Model Context Protocol (MCP), the open standard that lets AI agents conne…☆90Sep 8, 2026Updated last month
- Auto mode for every coding agent, built on Jev: risk-scores every tool call with session context (deny / ask / allow), flags prompt injec…☆87Oct 2, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆55Sep 26, 2026Updated 3 weeks ago
- ☆16May 10, 2017Updated 9 years ago
- Cross-harness communication mesh for LLM agents. Rooms, DMs, presence, and visibility.☆31Oct 10, 2026Updated last week
- Facebook login Automation using Selenium webdriver☆13Dec 20, 2019Updated 6 years ago
- ☆21Apr 6, 2026Updated 6 months ago
- Code samples inspiring language design☆23Feb 24, 2016Updated 10 years ago
- Synchronization primitives for both web and native.☆17Jan 19, 2024Updated 2 years ago
- Android, BrainLink Pro, BrainLink Lite, EEG data stream. Third-party developers can utilize the tools in this repository to implement rea…☆12Apr 2, 2026Updated 6 months ago
- ☆25Jun 30, 2026Updated 3 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A bad XML parser☆23Sep 2, 2024Updated 2 years ago
- A Haskell Enigma machine simulator with rich display and machine state details.☆23Dec 2, 2022Updated 3 years ago
- An agent skill with multiple gates to check and to remove any AI slop. Use it with codex/claude code or any of your favorite AI tools.☆95Sep 14, 2026Updated last month
- Raccogliamo e analizziamo i dati sulla spesa pubblica italiana per individuare, grazie all’AI, dove è possibile migliorare l’efficienza e…☆344Updated this week
- Cognee Rust - fast and performant AI memory engine☆59Updated this week
- Code similarity detection using treesitter☆87Sep 22, 2026Updated 3 weeks ago
- An LLVM interface for Lean 4. (WIP)☆27Aug 1, 2023Updated 3 years ago