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