principia-rewrite - Russell and Whitehead's Principia Mathematica written in in Coq

Mode	Name	Size
d---------	.jekyll-cache / Jekyll / Cache / Jekyll--Cache / b7	33	log plain
-rw-r--r--	LICENSE	35149	log plain
-rw-r--r--	List of Definitions.pdf	186185	log plain
-rw-r--r--	List of Definitions.tex	21717	log plain
-rw-r--r--	No1.docx	14178	log plain
-rw-r--r--	No1.pdf	95606	log plain
-rw-r--r--	No1.v	1008	log plain
-rw-r--r--	No2.docx	37860	log plain
-rw-r--r--	No2.pdf	139825	log plain
-rw-r--r--	No2.v	22330	log plain
-rw-r--r--	No3.docx	26018	log plain
-rw-r--r--	No3.pdf	105735	log plain
-rw-r--r--	No3.v	33140	log plain
-rw-r--r--	No4.docx	58093	log plain
-rw-r--r--	No4.pdf	199483	log plain
-rw-r--r--	No4.v	76439	log plain
-rw-r--r--	No5.docx	52661	log plain
-rw-r--r--	No5.pdf	171029	log plain
-rw-r--r--	No5.v	112331	log plain
-rw-r--r--	PL.pdf	436367	log plain
-rw-r--r--	PL.v	113724	log plain
-rw-r--r--	Principia Mathematica, Volume I.pdf	849753	log plain
-rw-r--r--	Principia Mathematica, Volume I.tex	445123	log plain
-rw-r--r--	README	920	log plain
d---------	_site	72	log plain
-rw-r--r--	principia.pdf	366457	log plain
-rw-r--r--	principia.sty	14792	log plain
-rw-r--r--	principia.tex	16231	log plain
-rw-r--r--	principia.zip	357487	log plain