Mizar system
Paradigms
Domains
Typing
weak typing
Influenced By
Automath
External Links
| Type | programming |
| Created | 1973 |
| Designed by | Andrzej Trybulec |
| PyPL Index | N/A |
| TIOBE Index | N/A |
| GitHub rank | N/A |
weak typing
Automath
| Type | programming |
| Created | 1973 |
| Designed by | Andrzej Trybulec |
| PyPL Index | N/A |
| TIOBE Index | N/A |
| GitHub rank | N/A |