kiranandcode / cleangoLinks

Bindings to libclingo for the lean4 prover and programming language!
13Updated 6 months ago

Alternatives and similar repositories for cleango

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

Sorting: