wball/perga
1
0
Fork 0
Code Issues 15 Pull requests Projects Releases Packages Wiki Activity Actions

updated README

Browse source
This commit is contained in:
William Ball 2024-12-08 22:00:35 -08:00
parent d15b53da1e
commit a3cd366379
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
README.md
View file

@ -147,7 +147,8 @@ There are many very well commented examples in the <./examples/> folder. These i
- <./examples/logic.pg>, which defines the standard logical operators and proves standard results about them, - <./examples/logic.pg>, which defines the standard logical operators and proves standard results about them,
- <./examples/classical.pg>, which asserts the law of the excluded middle as an axiom, and proves several results that require it, - <./examples/classical.pg>, which asserts the law of the excluded middle as an axiom, and proves several results that require it,
- <./examples/computation.pg>, which demonstrates using `perga` for computational purposes, - <./examples/computation.pg>, which demonstrates using `perga` for computational purposes,
- <./examples/algebra.pg>, which defines standard algebraic structures and proves results for them, and - <./examples/algebra.pg>, which defines standard algebraic structures and proves results for them,
- <./examples/category.pg>, which formalizes some very basic category theory, and
- <./examples/peano.pg>, which proves standard arithmetic results from the Peano axioms. - <./examples/peano.pg>, which proves standard arithmetic results from the Peano axioms.
I intend to extend these examples further. I intend to extend these examples further.