System komputerowy Mizar narzędziem do komputerowego wspomagania nauczania w szkole wyższej
The MIZAR system is a computer system for representing mathematical proofs in such a way that the computer checks their correctness. The texts written in the MIZAR language are called Mizar articles and are organized into the Mizar Mathematical Library (MML). Since the very beginnig of the development of the MIZAR system, experiments using MIZAR as a tool for teaching mathematics have been conducted. Numerous courses were organized which were based on different versions of the system: starting from...