Claudio's Code and potentially other things.

Name
Last commit
Last update
README.md Loading commit data...
bc.elpi Loading commit data...
bc_fol.elpi Loading commit data...
bc_main.elpi Loading commit data...
fol.elpi Loading commit data...
id.elpi Loading commit data...
id_main.elpi Loading commit data...
pair.elpi Loading commit data...
pair2.elpi Loading commit data...
pair2_fol.elpi Loading commit data...
pair2_main.elpi Loading commit data...
pair2_main_fol.elpi Loading commit data...
pair_main.elpi Loading commit data...
prop.elpi Loading commit data...
pt.elpi Loading commit data...
pt_fol.elpi Loading commit data...
pt_main.elpi Loading commit data...
tests.elpi Loading commit data...