Proof assistant/External Links: Difference between revisions

Revision as of 04:40, 12 August 2010

Citable Version ^[?]

A hand-picked, annotated list of Web resources about Proof assistant.

Please sort and annotate in a user-friendly manner and consider archiving the URLs behind the links you provide. See also related web sources.

Revision as of 04:39, 12 August 2010 (view source) imported>Boris Tsirelson No edit summary ← Older edit		Revision as of 04:40, 12 August 2010 (view source) imported>Boris Tsirelson No edit summary Newer edit →
Line 21:		Line 21:
	[http://en.wikipedia.org/wiki/Isabelle_(theorem_prover) WP:Isabelle (theorem prover)]		[http://en.wikipedia.org/wiki/Isabelle_(theorem_prover) WP:Isabelle (theorem prover)]

	[http://en.wikipedia.org/wiki/Fold_(higher-order_function) WP:~~fold~~]		[http://en.wikipedia.org/wiki/Fold_(higher-order_function) WP:Fold (higher-order function)]