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
    • What is Algae?
    • The editor
    • Propositional logic
    • Inference rules
    • Reasoning backward
    • Building proofs
    • Algebraic specification
    • Reflexivity and rewriting
    • Proof techniques crash course
    • Induction and friends
    • 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