Thread Index (0611)

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

  • Re: [mizar] Question on parsing term expression with "qua"., Josef Urban
  • [mizar] automatic `Subset of' typing, Jesse Alama
  • [mizar] a term representing the extension of a type, Jesse Alama

    • [Chronological Index] [Top]