GitHub repository: latte-central/latte-prelude
Primary language: Clojure
Created: 2018-11-26T13:41:54Z
Description: The core library of the LaTTe proof assistant