elpinal / subtyping-agdaLinks

Some rudimentary proofs on subtyping
11Updated 3 years ago

Alternatives and similar repositories for subtyping-agda

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

Sorting: