A modern proof language
dependent-types functional-programming lambda-calculus type-theory theorem-prover formality moonad proof-language proof-languages
-
Updated
Jan 22, 2025 - Haskell
#
moonad
Here are 3 public repositories matching this topic...
Language: All
Filter by language
An implementation of the Formality language in JavaScript
-
Updated
Aug 27, 2019 - JavaScript
Moonad: a p2p academic journal, or a social network for code?
functional-programming game-development formal-verification formal-languages academic-journals formality moonad
-
Updated
Jan 6, 2023 - JavaScript
Improve this page
Add a description, image, and links to the moonad topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the moonad topic, visit your repo's landing page and select "manage topics."