On Sat, 2023-02-11 at 13:13 +0200, Georgi Guninski wrote:
> Without doubts, sage and its library have bugs.
>
> Are the bugs "powerful enough" to prove contradiction of the form 0=1?
>
In addition to all the good reasons why this might happen: Sage
includes all of python, and python DGAF.
--
Without doubts, sage and its library have bugs.
Are the bugs "powerful enough" to prove contradiction of the form 0=1?
As a self promotion, around 2008 I proved contradiction in Coq.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To