Commit 782cc053751f587e3771f5fdca1f7156a87b5857 - Maxixe

Add "see-also bar" to top of README. Chris Pressey 1 year, 5 months ago

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

-1

README.md less more

0	0	Maxixe
1	1	======
2	2
3		Version 0.2. Subject to change in backwards-incompatible ways.
	3	Version 0.2 \| _Entry_ [@ catseye.tc](https://catseye.tc/node/Maxixe)
	4	\| _See also:_ [Madison](https://catseye.tc/node/Madison)
	5	∘ [LCF-Style-ND](https://github.com/cpressey/LCF-Style-ND#readme)
	6
	7	- - - -
4	8
5	9	Maxixe is a simple proof-checking language. Given a proof written out fully and
6	10	explicitly (including all rules of inference), a computer can check if it is valid