VictorTaelin / ESCoC

A nano "theorem prover".
62Updated 6 years ago

Alternatives and similar repositories for ESCoC:

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