| 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
|