GitHub repository: latte-central/latte-tutorial
Primary language: Clojure
Created: 2018-11-29T14:33:17Z
Description: A Gentle Introduction to the LaTTe Proof Assistant - Your first Clojure Proof!