npm.io

Theorem-proving Packages

escoc

A nano proof language.

theorem-proving lambda-calculus functional-programming type-theory

0.1.2 • Published 6 years ago

contact@npm.io