Thread Index (1604)

[Chronological Index] [Top]
Last update: Thu Dec 16 20:23:46 2021
3 threaded messages

  • [mizar] Formalization of math theorems in Mizar, Shuwei Chen
  • [mizar] ADG 2016 : deadline extended until Mai 2, Julien Narboux
  • [mizar] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems, Lin, Yuhui

    • [Chronological Index] [Top]