You must enable JavaScript to use this site
  • Tutorial: Exploring the Mizar Mathematical Library (EMML 2019)

    To be completed.
  • News

    • Extended deadline
    • Four workshops and tutorial confirmed
    • LNAI proceedings confirmed
    • initial program committee
    • initial website online
Privacy policy and legal information
Last modified: February 27 2019 02:09:18 CET