• Skip to primary navigation
  • Skip to content
  • Skip to footer
Arend Theorem Prover
  • About
  • Documentation
  • Download
  • Arend Library

    Documentation for the Arend standard library

    Standard Arend Library

    • v1.10: Full index, Class graph
    • GitHub
    • Twitter
    • Feed
    © 2025 Arend Theorem Prover. Powered by Jekyll & Minimal Mistakes.