History of
src
/
formula.c
@master
git clone https://git.catseye.tc/Philomath/
- 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
- Absurdum terms, and absr_elim() rule. Chris Pressey 2 years ago
- formula_fprint(). Chris Pressey 2 years ago
- Basic version of proves(), needs debugging. Chris Pressey 2 years ago
- Initial import of work so far. Chris Pressey 2 years ago