3 ms·Isabelle - everything is proven. (Is a proof.)by AstralStorm 7y agoIsabelle - everything is proven. (Is a proof.)kazinator 7y agoEverything isa belle, surely.