History of
include
/
formula.h
@master
git clone https://git.catseye.tc/Philomath/
- Move towards protecting the assumptions and formula in theorems. Chris Pressey 4 months ago
- Absurdum terms, and absr_elim() rule. Chris Pressey 2 years ago
- assumptions_fprint(). Chris Pressey 2 years ago
- formula_fprint(). Chris Pressey 2 years ago
- Initial import of work so far. Chris Pressey 2 years ago