stedolan / counterexamplesLinks

Counterexamples in Type Systems
395Updated last year

Alternatives and similar repositories for counterexamples

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

Sorting: