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.
latte-central/latte-integers
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|