History of
src
/
theorem.c
@master
git clone https://git.catseye.tc/Philomath/
- Arrange licensing info in repo according to REUSE 3.2 convention. Chris Pressey 10 months ago
- We don't actually need to protect assumptions; proof internals. Chris Pressey 1 year, 6 months ago
- Move towards protecting the assumptions and formula in theorems. Chris Pressey 1 year, 6 months ago
- Rename from "proof.c" to "theorem.c" because it defines theorems. Chris Pressey 2 years ago