Thread Index (1811)

Last update: Thu Dec 16 20:23:48 2021
17 threaded messages

[mizar] question about translating to logical connectives, Miranda, Brando

Re: [mizar] question about translating to logical connectives, Adam Naumowicz
- Re: [mizar] question about translating to logical connectives, Freek Wiedijk

[mizar] where do people check for the MML library?, Miranda, Brando

Re: [mizar] where do people check for the MML library?, Adam Naumowicz
Re: [mizar] where do people check for the MML library?, Freek Wiedijk
- Re: [mizar] where do people check for the MML library?, Miranda, Brando
  - Re: [mizar] where do people check for the MML library?, Freek Wiedijk
    - Re: [mizar] where do people check for the MML library?, Miranda, Brando
      - AW: [mizar] where do people check for the MML library?, Koch, Sebastian
      - Re: [mizar] where do people check for the MML library?, Freek Wiedijk
      - Re: [mizar] where do people check for the MML library?, Adam Naumowicz
  - Re: [mizar] where do people check for the MML library?, Adam Naumowicz

[mizar] How does one prove there is a Natural number equal to 1 in Mizar (mathematical theorem proving language)?, Miranda, Brando

Re: [mizar] How does one prove there is a Natural number equal to 1 in Mizar (mathematical theorem proving language)?, Adam Naumowicz

[mizar] how does dc-proof language compare to mizar?, Miranda, Brando

[mizar] plugin for mizar Atom text editor?, Miranda, Brando