Thread Index (0712)

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

  • [mizar] what's new in mizar?, Jesse Alama
  • [mizar] Re: calculating the transitive closure of required mizar items for a theorem, Jesse Alama
  • [mizar] Re: mmlquery for 4.92.996, Jesse Alama
  • [mizar] Mizar 7.8.07 accepts an incorrect inference?, Chisolm, Bill
  • [mizar] xsltproc bug, Josef Urban
  • RE[mizar] LPREM,RELINFER and *603,*604,*605, rk1
  • [mizar] [Timothy Y. Chow] Re: [FOM] Formalization Thesis, Jesse Alama
  • [mizar] html for 4.95.999, Josef Urban

    • [Chronological Index] [Top]