← Back to context Comment by jrflo 5 hours ago What commercial setting do you want to use a Lean theorem-proving agent in? 1 comment jrflo Reply ljwoods2 3 hours ago Mathematics, Inc [1], I assume[1] http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD427.PDF
ljwoods2 3 hours ago Mathematics, Inc [1], I assume[1] http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD427.PDF
Mathematics, Inc [1], I assume
[1] http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD427.PDF