machine-mathematics
Latest stories covering machine-mathematics, with summaries and links to related coverage.
1 articles · page 1 of 1
Connected topics
TheoremDB – A public workspace for machine mathematics
research
15 min read
TheoremDB is a public workspace designed for machine mathematics, currently in alpha. It allows live contributions, including Lean proof submissions, and aims to reduce redundancy in research efforts.