latte-integers 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.