Search results

Jump to navigation Jump to search
  • ...or writing and checking proofs.|http://wiki.portal.chalmers.se/agda/|{{Pkg|agda}}}}
    38 KB (4,992 words) - 16:16, 13 January 2020