Thread Index (0303)

Last update: Thu Dec 16 20:23:19 2021
24 threaded messages

[mizar] How to search for a lemma?, Freek Wiedijk

Re: [mizar] How to search for a lemma?, Andrzej Trybulec
- Re: [mizar] How to search for a lemma?, Freek Wiedijk
  - Re: [mizar] How to search for a lemma?, Andrzej Trybulec
    - Re: [mizar] How to search for a lemma?, Josef Urban
      - Re: [mizar] How to search for a lemma?, Andrzej Trybulec
      - Re: [mizar] How to search for a lemma?, Josef Urban
      - Re: [mizar] How to search for a lemma?, Andrzej Trybulec
      - Re: [mizar] How to search for a lemma?, Josef Urban
    - Re: [mizar] How to search for a lemma?, Freek Wiedijk
      - Re: [mizar] How to search for a lemma?, Andrzej Trybulec
      - Re: [mizar] How to search for a lemma?, Freek Wiedijk
      - Re: [mizar] How to search for a lemma?, Robert M. Solovay
      - Re: [mizar] How to search for a lemma?, Freek Wiedijk
Re: [mizar] How to search for a lemma?, Piotr Rudnicki
Re: [mizar] How to search for a lemma?, Piotr Rudnicki
- [mizar] MML License, Josef Urban
  - Re: [mizar] MML License, Piotr Rudnicki
    - Re: [mizar] MML License, Robert M. Solovay
      - Re: [mizar] MML License, Freek Wiedijk
      - Re: [mizar] MML License, Josef Urban
      - Re: [mizar] MML License, Freek Wiedijk
  - [mizar] MPTP results database, Josef Urban

[mizar] Mizar Problems for Theorem Proving, Josef Urban