| Paradigms | declarative programming |
|---|---|
| Typing discipline | weak typing |
| First appeared | 1973 |
| Designed by | Andrzej Trybulec |
| Type | programming language, proof assistant, software |
| Influenced by | Automath |
| License | GNU General Public License, version 3.0 |
| Website | mizar.uwb.edu.pl |
Sources: Wikidata (CC0) · Wikidata Q1609529