Commit History
@master
git clone https://git.catseye.tc/Eqthy/
-
Update link description.
Chris Pressey
2 months ago
-
Don't assume permutation, prove it. Also rewrite some things.
Chris Pressey
2 months ago
-
Add Johnson's axiom system and proof of Rule of Constancy.
Chris Pressey
2 months ago
-
Raise error if naming theorem or axiom with already existing name.
Chris Pressey
2 months ago
-
Add failing tests for re-using a name for a theorem or axiom.
Chris Pressey
2 months ago
-
Side specs "on LHS", "on RHS" in hints are correctly handled.
Chris Pressey
2 months ago
-
Handle "on LHS", "on RHS" in hints. Untested.
Chris Pressey
2 months ago
-
Report correct line number in errors, when embedded in Markdown.
Chris Pressey
2 months ago
-
Move licensing info from .reuse/dep5 file into individual files.
Chris Pressey
7 months ago
-
These are theorems in the Boolean algebra document.
Chris Pressey
1 year, 21 days ago
-
On the command line, call the input format `bare-eqthy`.
Chris Pressey
1 year, 21 days ago
-
Final (maybe) edits to README before 0.4.
Chris Pressey
1 year, 21 days ago
-
Factor Group Theory out into its own document.
Chris Pressey
1 year, 21 days ago
-
Convert Algebra of Sets document to Absorption Laws proof.
Chris Pressey
1 year, 21 days ago
-
Fix up testing infrastructure.
Chris Pressey
1 year, 21 days ago
-
Add provisional logo for Eqthy.
Chris Pressey
1 year, 25 days ago
-
Use Boolean algebra as basis for set difference, interior algebra.
Chris Pressey
1 year, 25 days ago
-
Allow Eqthy documents in Markdown to include other Eqthy documents.
Chris Pressey
1 year, 25 days ago
-
Use one Verifier object, have it keep the context.
Chris Pressey
1 year, 25 days ago
-
Move towards being able to require files from other files.
Chris Pressey
1 year, 26 days ago
-
Fix test driver, using sh -e here is not what we want yet
Chris Pressey
1 year, 26 days ago
-
Move loading logic into loader module.
Chris Pressey
1 year, 26 days ago
-
Replace --bare command line flag with --input-format choices.
Chris Pressey
1 year, 27 days ago
-
A slightly less trivial result in the theory of interior algebras.
Chris Pressey
1 year, 27 days ago
-
Add document with axioms for Interior Algebra.
Chris Pressey
1 year, 27 days ago
-
Fix link
Chris Pressey
1 year, 27 days ago
-
Have all examples live in the same directory right now.
Chris Pressey
1 year, 27 days ago
-
Update copyright year and run `reuse lint` as part of the test.
Chris Pressey
1 year, 27 days ago
-
Update HISTORY file.
Chris Pressey
1 year, 27 days ago
-
Show that context is accumulated from one document to the next.
Chris Pressey
1 year, 27 days ago