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

From AcaWiki

Jump to: navigation, search

consistency
proof-checking environments
Mizar
proof
formal methods
version control
DVCS
wikis

Retrieved from "http://acawiki.org/Special:PageProperty/A_wiki_for_Mizar:_Motivation,_considerations,_and_initial_prototype::Tag"

Personal tools

Log in / create account

New

Tools

Discussion

Help

Toolbox

Special pages