History of
README.md
@master
git clone https://git.catseye.tc/Eqthy/
-
Final (maybe) edits to README before 0.4.
Chris Pressey
a month ago
-
Factor Group Theory out into its own document.
Chris Pressey
a month ago
-
Convert Algebra of Sets document to Absorption Laws proof.
Chris Pressey
a month ago
-
Add provisional logo for Eqthy.
Chris Pressey
a month ago
-
Allow Eqthy documents in Markdown to include other Eqthy documents.
Chris Pressey
a month ago
-
Add document with axioms for Interior Algebra.
Chris Pressey
a month ago
-
Have all examples live in the same directory right now.
Chris Pressey
a month ago
-
Update copyright year and run `reuse lint` as part of the test.
Chris Pressey
a month ago
-
Update HISTORY file.
Chris Pressey
a month ago
-
Show that context is accumulated from one document to the next.
Chris Pressey
a month ago
-
Add 'Context' type, minor edits elsewhere as well.
Chris Pressey
a month ago
-
I don't really know if this was a very old statistic, or a typo.
Chris Pressey
a month ago
-
Small formatting updates and fixes.
Chris Pressey
a month ago
-
Bump version number.
Chris Pressey
a month ago
-
Arrange license info in repo to follow REUSE 3.0 convention.
Chris Pressey
3 months ago
-
Merge branch 'master' of https://codeberg.org/catseye/Eqthy
Chris Pressey
5 months ago
-
Update links in "see-also bar".
Chris Pressey
5 months ago
-
update description of proof of boolean algebra in list
pro465
6 months ago
-
Tiny final edits to TODO section.
Chris Pressey
7 months ago
-
Edits to the TODO section.
Chris Pressey
7 months ago
-
A last few edits before we release 0.3.
Chris Pressey
7 months ago
-
Bump version to 0.3 and add release notes thus far.
Chris Pressey
8 months ago
-
fix link in README.md
Proloy Mishra
(commit: GitHub)
9 months ago
-
Add Falderal test for variable renaming.
Chris Pressey
1 year, 1 month ago
-
Update README.
Chris Pressey
1 year, 1 month ago
-
Add an example proof in a Combinatory Logic.
Chris Pressey
1 year, 1 month ago
-
Axioms for boolean algebra, and some lemmas therein.
Chris Pressey
1 year, 1 month ago
-
Add TODO notes.
Chris Pressey
1 year, 1 month ago
-
Allow rules to be instantiated with altered variable names.
Chris Pressey
1 year, 1 month ago
-
Show step number in some error messages.
Chris Pressey
1 year, 1 month ago