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 <kcris...@gmail.com> wrote: > <fun> > 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." > </fun> > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
