On August 28, 2020 10:43:07 AM PDT, Benoit <[email protected]> wrote: >defining \pi as half what it should be Thems fighting words: http://us.metamath.org/mpeuni/taupi.html (And because the internet doesn't easily transmit the slightly wry smile with which I post this, "fighting words" is meant very loosely and I'm mostly just using this as an excuse to look again at taupi which I wrote a year and a half ago) -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/52FCFB12-62B3-4B4A-BBC5-9568BCECB17D%40panix.com.
- Re: [Met... Thierry Arnoux
- Re: [Met... 'Alexander van der Vekens' via Metamath
- Re: [Met... Mario Carneiro
- Re: [Met... Thierry Arnoux
- Re: [Met... Mario Carneiro
- Re: [Met... 'fl' via Metamath
- Re: [Met... Thierry Arnoux
- Re: [Met... 'Alexander van der Vekens' via Metamath
- Re: [Met... Benoit
- Re: [Met... Mario Carneiro
- Re: [Metamath] Re: Matrix... Jim Kingdon
- [Metamath] Re: Matrix indexing sta... Norman Megill
- [Metamath] Re: Matrix indexin... 'fl' via Metamath
- [Metamath] Re: Matrix indexin... 'Alexander van der Vekens' via Metamath
- [Metamath] Re: Matrix ind... 'fl' via Metamath
- [Metamath] Re: Matrix... 'fl' via Metamath
- [Metamath] Re: Ma... 'fl' via Metamath
- [Metamath] Re: Ma... 'fl' via Metamath
- Re: [Metamath] Re: Ma... 'Stanislas Polu' via Metamath
- Re: [Metamath] Re... 'fl' via Metamath
- Re: [Metamath] Re... Mario Carneiro
