latte-integers

January 3, 2019 ยท View on GitHub

Clojars Project

A formalization of integers in LaTTe.

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

This is based on Chapter 14 of the book Type theory and formal proof: an introduction.

Copyright (C) 2016 Frederic Peschanski under the MIT license.