index
:
chadprover
master
Software for automated proofs.
filip.rabiega@gmail.com
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
dune
blob: 96dc3503046b271a804303c87256a00326ad85e2 (
plain
)
1
2
(test (name test_chadprover))
