Mizar TWiki discussion, pros and cons, suggestions

For general TWiki discussion, see WikiCulture, Wiki:WhyWikiWorks, TWiki:Main/TWikiPresentations

Mizar specific motivation

  • chronic lack of MizarDocumentation?, nobody wants to spend time on it, it gets outdated very quickly, new users get stressed and deterred; the incremental "users for users" model could make a difference
  • "circular" discussions about various features, caused by the lack of documentation ("Yes we discussed this 10 years ago, then forgot about it")
  • unclear feature/project? priorities, caused by low and undocumented knowledge about their interdependence


  • as in any collaboration, the risk that nobody will contribute
  • additionaly, the PublishOrPerish? pressure in science, forcing people to prefer their own publications (cf. the QedManifesto? Bourbaki-style utopia smile )
  • various MizarWebs? and MizarMailLists? exist already, their relation to Mizar Twiki is not clear (depends on authors/users)
  • authorities are established, no one will want to edit AndrzejTrybulec?'s comments


  • takes most inspiration from the TWiki:Codev web, go there for additioal implementation ideas


Please contribute

-- JosefUrban - 05 Jul 2002

TopicClassification MizarTools

ImplementationDate? N/A
Topic revision: r6 - 2005-01-08 - 11:46:58 - JosefUrban
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback