MartinEscardo, I don't think it is unreasonable to demand confidence from a proof assistant. But some people seem to be saying it is fine to live without the confidence. I am very puzzled about this.
MartinEscardo, I don't think it is unreasonable to demand confidence from a proof assistant. But some people seem to be saying it is fine to live without the confidence. I am very puzzled about this.