A curated list of awesome Arend Theorem Prover links and resources.
- Arend Theorem Prover - the homepage of the Arend Theorem Prover.
- Getting Started - the official quickstart.
- The official tutorial from the offcial documentation website. Code is also available at arend-lang/tutorial-code.