Thread Index (1201)

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

  • [mizar] MML Query and cscope, mnf72
  • [mizar] reductions in Mizar, Artur Kornilowicz
  • [mizar] 2nd announcement: workshop on Automation in Proof Assistants (31 Mar - 1 Apr 2012), Hugo Herbelin

    • [Chronological Index] [Top]