In passing I mentioned in a paper
that #ProofAssistant with good certified computer algebra capabilities is not available, nor will be any time soon. And, well, I'm told by a referee either to remove this claim, or provide a reference.
Does anyone know what to cite here?
=> More informations about this toot | View the thread | More toots from dimpase@mathstodon.xyz
=> View ProofAssistant tag This content has been proxied by September (3851b).Proxy Information
text/gemini