Mizar system

proof assistant

en-US/ˈmaɪˌzɑɹ ˈsɪstəm/

Categorie:

softwareprogramming language