Tree @
master
(
Download .tar.gz
)
..
Eqthy.md
Equational-Logic.md
History of doc
/
Equational-Logic.md
@
master
git clone https://git.catseye.tc/Eqthy/
Update copyright year and run `reuse lint` as part of the test.
Chris Pressey
a month ago
Arrange license info in repo to follow REUSE 3.0 convention.
Chris Pressey
2 months ago
Add document describing equational logic itself.
Chris Pressey
1 year, 4 months ago