kiranandcode / cleango

Bindings to libclingo for the lean4 prover and programming language!
11Updated 3 months ago

Alternatives and similar repositories for cleango:

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