cleango
Bindings to libclingo for the lean4 prover and programming language!
Stars
3
Ecosystems:
C
Statistics for this project are still being loaded, please check back later.