Commit graph

8 commits

Author SHA1 Message Date
Simon Cruanes
bbe2c6c5bb
fix docstrings 2021-09-26 21:00:51 -04:00
Simon Cruanes
c6adc9b25f
feat(dyn-trans): provide config record when instantiating theory 2021-09-24 22:44:52 -04:00
Simon Cruanes
e442c440ab
feat(dyn-trans): track activity of terms to guide instantiation 2021-09-20 06:30:39 -04:00
Simon Cruanes
bdb45bfb76
wip: feat(dyn-trans): provide config via env vars 2021-09-19 13:07:06 -04:00
Simon Cruanes
45de142b22
detail 2021-09-13 06:46:54 -04:00
Simon Cruanes
b108d9f3df
basic proof emission for dyn-trans 2021-09-13 06:44:59 -04:00
Simon Cruanes
3284cfffd4
feat(dyn-trans): first implementation, quite aggressive 2021-09-13 06:35:03 -04:00
Simon Cruanes
7348a0a481
wip: theory for dyn-trans axioms 2021-09-09 08:56:47 -04:00