Thread Index (0704)

Last update: Thu Dec 16 20:23:28 2021
37 threaded messages

[mizar] PATE deadline extended to April 11, 2007, Adam Naumowicz

[mizar] Functions between the positive real numbers?, Freek Wiedijk
- Re: [mizar] Functions between the positive real numbers?, Jesse Alama
  - Re: [mizar] Functions between the positive real numbers?, Freek Wiedijk
  - Re: [mizar] Functions between the positive real numbers?, Josef Urban
- Re: [mizar] Functions between the positive real numbers?, Adam Naumowicz
- Re: [mizar] Functions between the positive real numbers?, Andrzej Trybulec
- Re: [mizar] Functions between the positive real numbers?, Andrzej Trybulec

[mizar] Re: Mizar 7.8.04 MML 4.80.962, Jesse Alama

[mizar] Refernces to JFM, Andrzej Trybulec

[mizar] Last revision, Andrzej Trybulec

[mizar] the carrier of and [#], Jesse Alama

Re: [mizar] the carrier of and [#], Adam Naumowicz
- Re: [mizar] the carrier of and [#], Jesse Alama
  - Re: [mizar] the carrier of and [#], Adam Naumowicz
    - Re: [mizar] the carrier of and [#], Jesse Alama
      - Re: [mizar] the carrier of and [#], Adam Naumowicz
      - Re: [mizar] the carrier of and [#], Jesse Alama
      - Re: [mizar] the carrier of and [#], Josef Urban

[mizar] "identify" missing from mizar grammar, Jesse Alama

[mizar] typo in mml: "lineary-closed", Jesse Alama

[mizar] [gmane.science.mathematics.logic.coq.club] Elliptic curve in Coq, Jesse Alama

[mizar] verifier infinite loop, Jesse Alama

Re: [mizar] verifier infinite loop, Adam Naumowicz
- Re: [mizar] verifier infinite loop, Adam Naumowicz

[mizar] mizar binaries for i386/darwin, Jesse Alama

[mizar] Complex Linear Topological Space, Hidenori Matsuzaki