Association of Mizar Users (AMU) - Nagano Circle and Mizar JAPAN

Members

Meetings
  TSGA2022
  TSGA2021
  TSGA2020
  TSGA2019
  TSGA2018
  TSGA2006-2017(JA)

Publications
  MMA-WiP(JA/EN)
  MMA(EN)