Chronological Index (1811)

Subject	From	# of followups
[mizar] question about translating to logical connectives	Miranda, Brando	1
[mizar] where do people check for the MML library?	Miranda, Brando	2
Re: [mizar] where do people check for the MML library?	Adam Naumowicz	0
Re: [mizar] question about translating to logical connectives	Adam Naumowicz	1
[mizar] How does one prove there is a Natural number equal to 1 in Mizar (mathematical theorem proving language)?	Miranda, Brando	1
Re: [mizar] How does one prove there is a Natural number equal to 1 in Mizar (mathematical theorem proving language)?	Adam Naumowicz	0
[mizar] how does dc-proof language compare to mizar?	Miranda, Brando	0
[mizar] plugin for mizar Atom text editor?	Miranda, Brando	0
Re: [mizar] where do people check for the MML library?	Freek Wiedijk	1
Re: [mizar] question about translating to logical connectives	Freek Wiedijk	0
Re: [mizar] where do people check for the MML library?	Miranda, Brando	2
Re: [mizar] where do people check for the MML library?	Freek Wiedijk	1
Re: [mizar] where do people check for the MML library?	Miranda, Brando	2
AW: [mizar] where do people check for the MML library?	Koch, Sebastian	0
Re: [mizar] where do people check for the MML library?	Freek Wiedijk	1
Re: [mizar] where do people check for the MML library?	Adam Naumowicz	0
Re: [mizar] where do people check for the MML library?	Adam Naumowicz	0