alt Hacker NewsInteresting, but I don't see any licensing terms, which means I can't touch it in a commercial setting.
Replies
a2ff6eeb0 • today at 9:31 PM
It's AI generated, so licensing terms are unenforceable.
Interesting, but I don't see any licensing terms, which means I can't touch it in a commercial setting.
It's AI generated, so licensing terms are unenforceable.
What commercial setting do you want to use a Lean theorem-proving agent in?