מערכת מיזאר (Q1609529)
קפיצה לניווט
קפיצה לחיפוש
שפת תכנות
| שפה | תווית | תיאור | ידוע גם בשם |
|---|---|---|---|
| עברית | מערכת מיזאר |
שפת תכנות |
|
| אנגלית | Mizar system |
proof assistant |
קביעוֹת
readable file format אנגלית
writable file format אנגלית
מזהים
קישורי אתר
ויקיפדיה(7 רשומות)
- dewiki Mizar-System
- enwiki Mizar system
- frwiki Mizar (système)
- hewiki מערכת מיזאר
- itwiki Sistema Mizar
- jawiki Mizar
- plwiki System Mizar
ויקיספר(רשומה אחת)
- jawikibooks Mizar