Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
Algae
Algae
  • Tutorial
    • Two worlds and a vocabulary
    • Your first proofs
    • Proving with holes
    • Rewriting with a motive
    • Induction and friends
    • Specifying a stack
    • Specifying error behavior
    • Theories, laws, and models
    • A tour of the standard library
      • The logical toolkit
      • Quantifiers and ⇔
      • Reasoning about data
    • Proving with auxiliary lemmas
  • Playground
  • Dungeon Crawler
Back to top
Copyright © 2026, Algae contributors
Made with Sphinx and @pradyunsg's Furo