No worries. I just proved that Sage does not infringe Estatis Inc.'s
intellectual property. We're cool.
On Mon, Feb 18, 2013 at 5:23 PM, kcrisman wrote:
>
> How did we ever get along trying to prove theorems with more than one axiom?
>
> http://www.eleves.ens.fr/home/amarilli/falso/
>
> Sage r
How did we ever get along trying to prove theorems with more than one axiom?
http://www.eleves.ens.fr/home/amarilli/falso/
Sage relevance: "Open source and pirate programs are a threat to your
computers and your mathematical activity."
--
You received this message because you are subscribed
