/awesome-arend

Resources for Arend Theorem Prover.