Commit History @master git clone https://git.catseye.tc/Eqthy/

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