3 ms·
What commercial setting do you want to use a Lean theorem-proving agent in?
by jrflo 2mo ago
What commercial setting do you want to use a Lean theorem-proving agent in?
- ljwoods2 2mo agoMathematics, Inc [1], I assume [1] http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD427.PDF http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD427.PDF