latte-tutorial This is a tutorial about the LaTTe proof assistant, currently being written... License Copyright © 2018 Frederic Peschanski, the MIT License (cf. LICENSE)