git @ Cat's Eye Technologies Eqthy / 3d9ecbe
Update HISTORY file. Chris Pressey 1 year, 1 month ago
2 changed file(s) with 12 addition(s) and 4 deletion(s). Raw diff Collapse all Expand all
+8
-0
HISTORY.md less more
1515 the process, replaced namedtuples with dataclasses, and
1616 refactored the class hierarchies in some places, so
1717 that e.g. `Variable` is now a subclass of `Term`.
18 * Small improvement to parser (an error is now reported
19 if an axiom, or anything that is not a theorem, follows
20 a theorem.)
21 * Multiple documents may now be processed in a single run
22 of `eqthy`, listing all documents as command line arg-
23 uments, with context (axioms and proved theorems) from
24 each document being available in all subsequent doc-
25 uments.
1826
1927 Distribution:
2028
+4
-4
README.md less more
0 Eqthy
1 =====
2
03 <!--
14 Copyright (c) 2022-2023 Chris Pressey, Cat's Eye Technologies
2 This file is distributed under a 2-clause BSD license. See LICENSES dir:
5 This file is distributed under a 2-clause BSD license. See LICENSES directory:
36 SPDX-License-Identifier: LicenseRef-BSD-2-Clause-X-Eqthy
47 -->
5
6 Eqthy
7 =====
88
99 _Version 0.4_ | _See also:_ [Philomath](https://codeberg.org/catseye/Philomath#philomath)
1010 ∘ [LCF-style-ND](https://codeberg.org/catseye/The-Dossier/src/branch/master/article/LCF-style-Natural-Deduction/README.md)