History of
src
/
assumptions.c
@master
git clone https://git.catseye.tc/Philomath/
- We don't actually need to protect assumptions; proof internals. Chris Pressey 5 months ago
- Clone (deep copy) formulas and assumptions when using them. Chris Pressey 5 months ago
- Move towards protecting the assumptions and formula in theorems. Chris Pressey 5 months ago
- Fix algorithm for merging assumptions. Chris Pressey 2 years ago
- Add debugging prints. merge() assumptions doesn't work, it seems. Chris Pressey 2 years ago
- assumptions_fprint(). Chris Pressey 2 years ago
- assert.{c,h}. Fix linked-list traversal bug in merge(). Chris Pressey 2 years ago
- Initial import of work so far. Chris Pressey 2 years ago