Thread Index (0703)

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

  • [mizar] puzzling errors, Jesse Alama
  • [mizar] mizar2kif, Ben Goertzel
  • [mizar] referring to local files's constructors, theorems, etc, Jesse Alama
  • [mizar] PATE workshop, Software Administrator/Maintainer
  • [mizar] Programming Languages for Mechanized Mathematics Workshop, Freek Wiedijk
  • [mizar] Mizar 7.8.04 MML 4.80.962, Adam Grabowski
  • [mizar] Mizar 7.8.04 MML 4.81.962, Adam Grabowski
  • [mizar] Types Summer School, Andrea Asperti

    • [Chronological Index] [Top]