CakeML / candleLinks

The Candle theorem prover (fork of the HOL Light sources)
14Updated 9 months ago

Alternatives and similar repositories for candle

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

Sorting: