Tree @
master
(
Download .tar.gz
)
..
assert.h
assumptions.h
formula.h
proof.h
theorem.h
History of include
/
assumptions.h
@
master
git clone https://git.catseye.tc/Philomath/
We don't actually need to protect assumptions; proof internals.
Chris Pressey
4 months ago
Move towards protecting the assumptions and formula in theorems.
Chris Pressey
4 months ago
assumptions_fprint().
Chris Pressey
2 years ago
Initial import of work so far.
Chris Pressey
2 years ago