ezyang / lr-agdaLinks

Logical relations proof in Agda
26Updated 10 years ago

Alternatives and similar repositories for lr-agda

Users that are interested in lr-agda are comparing it to the libraries listed below

Sorting: