Browse wiki

From AcaWiki

A wiki for Mizar: Motivation, considerations, and initial prototype

Author	Josef Urban  +, Jesse Alama  +, Piotr Rudnicki  +, Herman Geuvers  +
DOI	10.1007/978-3-642-14128-7_38  +
Date	2010  +
Journal	Lecture Notes in Computer Science  +
Modification dateThis property is a special property in this wiki.	17 February 2011 05:29:55  +
Published in an Open Access journal	true  +
Subject	Computer Science  +
Tag	wikis  +, version control  +, DVCS  +, formal methods  +, proof  +, consistency  +, proof-checking environments  +, Mizar  +
Title	A wiki for Mizar: Motivation, considerations, and initial prototype  +
Type	article  +
URL	http://arxiv.org/abs/1005.4552  +
Categories	Summary

hide properties that link here

	No properties link to this page.

 

Enter the name of the page to start browsing from.