Thread Index (0811)

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

  • [mizar] html for 4.111.1036, Josef Urban
  • [mizar] CALL FOR WORKSHOP PROPOSALS: TPHOLs 2009, Makarius
  • [mizar] [MKM-IG] CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge (fwd), Josef Urban
  • [mizar] System Announcement: ProofWeb, Freek Wiedijk
  • [mizar] Att: John Harrison, trybulec
  • [mizar] an extension of the mizar language for dealing with article metadata, Jesse Alama
  • [mizar] A changed in the Mizar synatx, trybulec
  • Re: [mizar] "Formalized Mathematics", trybulec

    • [Chronological Index] [Top]