Skip to content
GitLab
Explore
Sign in
ELPI
elpi-playground
Repository
elpi-playground
fol.elpi
Find file
Blame
History
Permalink
First version of automatic provers for propositional/fo logic
· ac0e2c40
Claudio Sacerdoti Coen
authored
Jul 19, 2019
ac0e2c40