Large formal wikis: Issues and solutions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6824 LNAI, Issue , 2011, Pages 133-148

  Alama, Jesse ^a   Brink, Kasper ^b   Mamane, Lionel ^c   Urban, Josef ^b  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^c NONE

Author keywords

[No Author keywords available]

Indexed keywords

COQ PROOF ASSISTANT; MULTI-USER; SANDBOXING;

CLONING; KNOWLEDGE MANAGEMENT; LAKES;

LIBRARIES;

EID: 79961175801     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22673-1_10     Document Type: Conference Paper

References (11)

1. Alama, J., Mamane, L., Urban, J.: Dependencies in formal mathematics (preprint) (submitted)
2. Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P. (eds.): AISC 2010. LNCS, vol. 6167. Springer, Heidelberg (2010)
3. Bancerek, G.: Cardinal numbers. Formalized Mathematics 1(2), 377-382 (1990)
4. Bancerek, G.: Information retrieval and rendering with MML Query. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol. 4108, pp. 266-279. Springer, Heidelberg (2006)
5. Corbineau, P.: A declarative language for the Coq proof assistant. In: Miculan, M., Scagnetto, I., Honsell, F. (eds.) TYPES 2007. LNCS, vol. 4941, pp. 69-84. Springer, Heidelberg (2008)
6. Driessen, V.: A successful Git branching model, http://nvie.com/posts/a- successful-git-branching-model/
7. Spitters, B., van der Weegen, E.: Developing the algebraic hierarchy with type classes in Coq. In: Kaufmann, M., Paulson, L.C. (eds.) ITP 2010. LNCS, vol. 6172, pp. 490-493. Springer, Heidelberg (2010)
8. Tankink, C., Geuvers, H., McKinna, J., Wiedijk, F.: Proviola: A tool for proof re-animation. In: Autexier, et al. (eds.) [2], pp. 440-454
9. Urban, J.: XML-izing mizar: Making semantic processing and presentation of mml easy. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol. 3863, pp. 346-360. Springer, Heidelberg (2006)
10. Urban, J., Alama, J., Rudnicki, P., Geuvers, H.: A wiki for Mizar: Motivation, considerations, and initial prototype. In: Autexier, et al. (eds.) [2], pp. 455-469
11. Urban, J., Sutcliffe, G.: Automated reasoning and presentation support for formalizing mathematics in Mizar. In: Autexier, et al. (eds.) [2], pp. 132-146