simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-10 13:14:09 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
sidekick/src/th-bool
History
Simon Cruanes 342dba4533 wip: new micro-theories in CC
2019-02-26 22:46:40 -06:00
..
Bool_intf.ml wip: new micro-theories in CC 2019-02-26 22:46:40 -06:00
Bool_term.ml wip: new micro-theories in CC 2019-02-26 22:46:40 -06:00
Bool_term.mli wip: new micro-theories in CC 2019-02-26 22:46:40 -06:00
dune wip: new micro-theories in CC 2019-02-26 22:46:40 -06:00
Sidekick_th_bool.ml wip: new micro-theories in CC 2019-02-26 22:46:40 -06:00
Th_dyn_tseitin.ml wip: new micro-theories in CC 2019-02-26 22:46:40 -06:00
Th_dyn_tseitin.mli wip: new micro-theories in CC 2019-02-26 22:46:40 -06:00