Commit History
@master
git clone https://git.catseye.tc/Eqthy/
-
On the command line, call the input format `bare-eqthy`.
Chris Pressey
1 year, 20 days ago
-
Final (maybe) edits to README before 0.4.
Chris Pressey
1 year, 20 days ago
-
Factor Group Theory out into its own document.
Chris Pressey
1 year, 20 days ago
-
Convert Algebra of Sets document to Absorption Laws proof.
Chris Pressey
1 year, 20 days ago
-
Fix up testing infrastructure.
Chris Pressey
1 year, 20 days ago
-
Add provisional logo for Eqthy.
Chris Pressey
1 year, 23 days ago
-
Use Boolean algebra as basis for set difference, interior algebra.
Chris Pressey
1 year, 24 days ago
-
Allow Eqthy documents in Markdown to include other Eqthy documents.
Chris Pressey
1 year, 24 days ago
-
Use one Verifier object, have it keep the context.
Chris Pressey
1 year, 24 days ago
-
Move towards being able to require files from other files.
Chris Pressey
1 year, 25 days ago
-
Fix test driver, using sh -e here is not what we want yet
Chris Pressey
1 year, 25 days ago
-
Move loading logic into loader module.
Chris Pressey
1 year, 25 days ago
-
Replace --bare command line flag with --input-format choices.
Chris Pressey
1 year, 25 days ago
-
A slightly less trivial result in the theory of interior algebras.
Chris Pressey
1 year, 26 days ago
-
Add document with axioms for Interior Algebra.
Chris Pressey
1 year, 26 days ago
-
Fix link
Chris Pressey
1 year, 26 days ago
-
Have all examples live in the same directory right now.
Chris Pressey
1 year, 26 days ago
-
Update copyright year and run `reuse lint` as part of the test.
Chris Pressey
1 year, 26 days ago
-
Update HISTORY file.
Chris Pressey
1 year, 26 days ago
-
Show that context is accumulated from one document to the next.
Chris Pressey
1 year, 26 days ago
-
Add 'Context' type, minor edits elsewhere as well.
Chris Pressey
1 year, 26 days ago
-
Two proofs of properties of the set difference operator.
Chris Pressey
1 year, 26 days ago
-
Raise a syntax error if axioms (or anything else) follow a theorem.
Chris Pressey
1 year, 26 days ago
-
Add development of the algebra of sets.
Chris Pressey
1 year, 26 days ago
-
Add proper "Group Element Commutes with Inverse" proof, and rename the other one.
Chris Pressey
1 year, 28 days ago
-
I don't really know if this was a very old statistic, or a typo.
Chris Pressey
1 year, 1 month ago
-
Small formatting updates and fixes.
Chris Pressey
1 year, 1 month ago
-
Update HISTORY for recent changes going into 0.4.
Chris Pressey
1 year, 1 month ago
-
Bump version number.
Chris Pressey
1 year, 1 month ago
-
All modules now pass strict mypy checking.
Chris Pressey
1 year, 1 month ago