elementary-affine-type-theory (npm): Minimal proof language.
Keywords: formality