Re: I am trying to figure out...
Josef Urban <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <[email protected]> |
Dear Andrzej, Freek, 2009/10/26 <[email protected]> > Cytowanie freek <[email protected]>: > We've had this discussion before, I'm sure. My excuses >> for being triggered. >> > > > No problem, we get better understanding the different approaches. I > appreciate it. This discussion comes every two years and brings little new arguments. If you want to progress, you should create a wiki page summarizing the discussion of the topic, and everyone should check first if his argument has already been answered or not. Best, Josef