search

AndrasKovacs / setoidtt

Prototype implementations of systems based on setoid type theory
64 stars 1 forks source link

readme

Prototype implementations of systems based on setoid type theory.

Working small prototype: proto