Search results

  • ...r writing and checking proofs.|https://wiki.portal.chalmers.se/agda/|{{Pkg|agda}}}}
    46 KB (6,171 words) - 07:21, 12 August 2022