F fearn.ai Mathematicians use Lean to verify proofs, whats the equivalent for patent claims 7 points marclave 4 months ago 1 comments
