Thread Index (0306)

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

  • [mizar] Otter2Mizar translator, Josef Urban
  • [mizar] New Mizar articles, Adam Grabowski
  • [mizar] relinfer, Artur Kornilowicz
  • [mizar] Proposal for binders in Mizar, Freek Wiedijk
  • [mizar] robustness of the Mizar system, Robert Milewski
  • [mizar] Contradiction in Mizar 6.3.05, Piotr Rudnicki

    • [Chronological Index] [Top]