History of
eg
/
propositional-algebra.eqthy.md
@master
git clone https://git.catseye.tc/Eqthy/
-
Arrange license info in repo to follow REUSE 3.0 convention.
Chris Pressey
2 months ago
-
A last few edits before we release 0.3.
Chris Pressey
7 months ago
-
remove extraneous theorems
Proloy Mishra
8 months ago
-
Fix the translation of modus ponens and give resulting proof.
Chris Pressey
8 months ago
-
Improve "typesetting" of this document.
Chris Pressey
8 months ago
-
Fix #th-comm axiom, remove now-unneeded #MP-rev axiom.
Chris Pressey
1 year, 1 month ago
-
Finish the Propositional Algebra proof! Such yay, much rejoicing
Chris Pressey
1 year, 3 months ago
-
Modus ponens! After fixing a silly error in an axiom definition.
Chris Pressey
1 year, 3 months ago
-
Checkpoint propositional algebra proof (take different tack on MP.)
Chris Pressey
1 year, 3 months ago
-
Checkpoint working out the propositional algebra proof.
Chris Pressey
1 year, 3 months ago
-
Add the hints given in the book.
Chris Pressey
1 year, 3 months ago
-
Pick a proof for this and start working it out.
Chris Pressey
1 year, 3 months ago
-
Embed Eqthy documents in Markdown documents.
Chris Pressey
1 year, 3 months ago