latte-prelude

January 3, 2019 ยท View on GitHub

Clojars Project

The core "standard" library for the LaTTe proof assistant.

https://latte-central.github.io/latte-prelude/