formality-net (npm): Specification of the Formality proof and programming language
Keywords: formality|funcional-programming|lambda-calculus|programming-language|type-system