Commit 8f088fa2d6f98bcd7c27ba03bf380ed33c7d63e4 - Philomath

Update README. Chris Pressey 1 year, 4 months ago

1 changed file(s) with 27 addition(s) and 3 deletion(s). Raw diff Collapse all Expand all

+27

-3

README.md less more

0	0	Philomath
1	1	=========
2	2
3		_See also:_ [LCF-style-Natural-Deduction][]
	3	Version 1.1 \| _See also:_ [LCF-style-Natural-Deduction][]
4	4	∘ [Maxixe](https://codeberg.org/catseye/Maxixe#maxixe)
5	5	∘ [Cardboard Prolog](https://codeberg.org/catseye/Cardboard-Prolog#cardboard-prolog)
6	6

66	66	TODO
67	67	----
68	68
69		Should really have more demo non-proofs, to check that it's not
70		letting non-proofs pass themselves off as proofs.
	69	Should really have even more demo non-proofs, to help ensure that it's not
	70	letting non-proofs pass themselves off as proofs somewhere.
	71
	72	History
	73	-------
	74
	75	### 1.1
	76
	77	* When creating a `struct theorem` or `struct assumptions`, the
	78	supplied `struct formula *` is now cloned (deep-copied) before being
	79	stored in the structure. This prevents the theorem from being
	80	manipulated after its creation by updating the contents of the
	81	`struct formula *` that was used to create it. Thanks to
	82	[Proloy Mishra](https://github.com/pro465) for pointing out this
	83	hole.
	84	* More test cases, and a driver script (`test.sh`) to run the tests.
	85	* Added this "History" section to the README.
	86
	87	### 1.0-2022.0905
	88
	89	* Renamed `struct theorem` to `struct proof`, and `proof.{c,h}` to
	90	`theorem.{c,h}` to better reflect what these objects are.
	91
	92	### 1.0
	93
	94	* Initial release of Philomath.
71	95
72	96	[classical propositional logic]: https://iep.utm.edu/natural-deduction/#H4
73	97	[Natural Deduction]: https://iep.utm.edu/natural-deduction/