Agda (theorem prover)

Print Print
Reading time 0:1

Redirect to:

  • Agda (programming language)

By: Wikipedia.org
Edited: 2021-06-18 18:10:56
Source: Wikipedia.org

© 2024 CodeDocs.org
 Privacy Policy • Contact Us • Terms of Use