Year: 2025
Type: article
Abstract: Interactive theorem provers (ITPs) are a class of computer programming language that guarantee the correctness of mathematical definitions and theorems written in to them. Within mathematics and artificial intelligence the usage of ITPs is growing. In this perspective, the best usage of ITPs are discussed within another area, physics, and motivate the existence of an open-source community run project for formalized physics results, PhysLean.
Source: Advanced Science
Author: Joseph Tooby‐Smith
Institution: University of Bath
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
Estimated APC paid: $6,730
OpenAlex ID: W4415442622