formality-js (npm): Formality Language in JavaScript
Keywords: dependent-types|formality|functional-programming|lambda-calculus|moonad|proof-language|proof-languages|theorem-prover|type-theory