Talk:Proof assistant

From Knowino
Jump to: navigation, search
Fountain-pen-nib white1.jpg
NOTICE, please do not remove from top of page.
I released this article to Citizendium. In particular, the identical text that appears there is of my sole authorship. Therefore, no credit for Citizendium content on the Knowino applies.
Boris Tsirelson 15:16, 18 December 2010 (EST)

Now available: Isabelle2011

Notable changes:

Personal tools
Variants
Actions
Navigation
Community
Toolbox