Thread Index (0612)

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

  • [mizar] New Mizar version 7.8.03, Adam Grabowski
  • [mizar] Re: a term representing the extension of a type, Jesse Alama
  • [mizar] feature request: include a semantic representaion of the mml in the mizar distribution, Jesse Alama
  • [mizar] the rank + nullity = dimension theorem in the mml, Jesse Alama
  • [mizar] emm, Jesse Alama
  • [mizar] busted link on mizar bibliography page, Jesse Alama

    • [Chronological Index] [Top]