clarus / falsoLinks

A proof of false in Coq.
98Updated 5 years ago

Alternatives and similar repositories for falso

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

Sorting: