Mizar

Yaniv256 / CC BY-SA 3.0

Software

Mizar

proof assistant

Overview text may include a short Wikipedia extract. See sources.

Also known as Mizar system

Official website Wikipedia article Wikidata item

Key facts

Official website
http://mizar.uwb.edu.pl/ · Wikidata

Sources