Thread Index (0904)

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

  • [mizar] How to prove equivalences?, Freek Wiedijk
  • [mizar] PLMMS 2009: First Call for Papers, Makarius
  • [mizar] Calculemus 2009 - Emerging Trends track CFP, Jacques Carette
  • [mizar] Coq in Clear Thursday, PbIKOB__B.B.
  • [mizar] My automated theorem proving textbook is now available, John Harrison
  • [mizar] PLMMS 2009: Last CFP, Makarius

    • [Chronological Index] [Top]