Thread Index (0605)

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

  • [mizar] the Why project, Andrzej Trybulec
  • [mizar] pretty Mizar constructor names, Josef Urban
  • [mizar] Mizar-like proofs, Josef Urban
  • [mizar] Looking for Field of Fractions, Zachary Friggstad
  • [mizar] ATP proof objects for Mizar, Josef Urban

    • [Chronological Index] [Top]