PageName ▼	Summary + Labels ▼	Changed ▼	ChangedBy ▼	...
	ComputerCodeVerification	What's left of the computer code verification	May 14	TCHa...@gmail.com
	TextFormalizationTheFinalLemmas	The text part of the flyspeck formalization project is nearly complete.   Featured	May 14	TCHa...@gmail.com
	FlyspeckFactSheet	Introduction to the Flyspeck Project (formal proof of the Kepler Conjecture). This is a good place to start.   Featured	Feb 14	TCHa...@gmail.com
	FlyspeckTextProject	Text Formalization Projects needed for completion of Flyspeck	May 2011	TCHa...@gmail.com
	InstallHolLight	Instructions on getting HOL-Light installed and running, especially for Windows. SVN instructions.   Featured	Oct 2010	joe.pl...@gmail.com
	UploadChecklist	Checklist for project members before uploading files	Aug 2010	TCHa...@gmail.com
	HolLightDemo1	A tutorial of HOL-Light based on John Harrison's proof of an IMO problem	Jun 2010	TCHa...@gmail.com
	TipsAndTricks	This wiki is a list of advice for new users and also tricks for anyone. Feel free to add to it.	Feb 2010	TCHa...@gmail.com
	HolLightWishList	Features hoped for in a future release of Hol Light	Sep 2009	TCHa...@gmail.com
	TipsOnHol	Various Tips about Tactics and Using HOL	Jul 2009	TCHa...@gmail.com