ionathanch / TTBFLLinks

A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.
19Updated last month

Alternatives and similar repositories for TTBFL

Users that are interested in TTBFL are comparing it to the libraries listed below

Sorting: