Goodbye, JavaScript: Formality is now implemented in itself

An efficient proof language. Contribute to moonad/Formality development by creating an account on GitHub. Read more

Similar