Viewing profile — rademaker

In his latest essay, Leonardo de Moura makes a compelling case that if AI is going to write a significant portion of the world’s software, then verification must scale alongside ge…

I have been working on that direction with Lean Theorem Prover ( https://leanprover.github.io ). There is also works using Coq ( https://link.springer.com/chapter/10.1007/978-3-642…

That is SUMO Ontology ( http://ontologyportal.org )! It is open, in GitHub and people can contribute.

In my machine it took seconds.