In the Vinony graph
Vinony's link graph records 59 inbound references to Mizar, and connects out to type system, proof assistant and economics.
Vinony files it under Dependently typed languages, Educational math software and Large-scale mathematical formalization projects.
Vinony links it to 8 Wikipedia language editions.
Wikidata facts
- Instance of
- proof assistant
- Country
- Poland
- Designed by
- Andrzej Trybulec
- Official website
- mizar.uwb.edu.pl
- Image
- Mizar MathWiki screenshot.png
- Has use
- automated theorem proving
Show 3 more facts
- inception
- 1973-00-00
- programming paradigm
- declarative programming
- copyright license
- GNU General Public License, version 3.0
Sources (3)
via Wikidata · CC0
Connections
type system
Entity
proof assistant
Entity
economics
Entity
International Standard Book Number
Entity
Wiki
Concept
natural number
Entity
Wayback Machine
Entity
digital object identifier
Entity
exponentiation
Entity
PDF
Entity
probability theory
Entity
ASCII
Entity
arXiv
Entity
programming paradigm
Entity
formal language
Entity
peer review
Entity
Cambridge University Press
Entity
filename extension
Entity
Zeta Ursae Majoris
Entity
University of Alberta
Entity