escoc (npm): A nano proof language.
Keywords: theorem-proving|lambda-calculus|functional-programming|type-theory