Thread Index (0812)

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

  • Re: [mizar] an extension of the mizar language for dealing with article metadata, Josef Urban
  • [mizar] vocabullaries, trybulec
  • [mizar] [lp15@cam.ac.uk: [isabelle] MetiTarski theorem prover], Piotr Rudnicki
  • [mizar] mizar.pl, Piotr Rudnicki
  • [mizar] mizara.pl, Piotr Rudnicki
  • [mizar] Help request: Fraenkel term definition, Greg Frascadore
  • [mizar] New Mizar articles, Adam Grabowski

    • [Chronological Index] [Top]