GitHub repository: latte-central/latte-nats
Primary language: Clojure
Created: 2020-10-27T15:23:30Z
Description: A formalization of natural numbers in LaTTe