A human still needs to verify the theorem statements at least.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
load more comments
(1 reply)
A human still needs to verify the theorem statements at least.