Researcher Shares NSF CAREER Proposal on AI for Collaborative Formal Proofs · Digg