GitHub repository: latte-central/latte-kernel
Primary language: Clojure
Created: 2017-03-17T08:11:07Z
Description: The (very) small kernel of the LaTTe proof assistant