Mizar system (Q1609529)

From Wikidata
Jump to: navigation, search
proof assistant
edit
Language Label Description Also known as
English
Mizar system
proof assistant

    Statements

    Identifiers

     
    edit
    edit
    edit
      edit
        edit
          edit
            edit
              edit