escoc

A nano proof language.

v0.1.2 URL: https://unpkg.com/escoc@0.1.2/main.js

Open Browse Files

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