Questions tagged [performance]
For questions pertaining to the measurement or improvement of code and application efficiency.
1
question with no upvoted or accepted answers
20
votes
0
answers
208
views
What is known about performance bottlenecks in proof assistants?
Background
In my personal experience, the biggest bottleneck to broader adoption of proof assistants (in industry and mathematics) is the effort it takes to engineer proofs. (In lines of code, for ...
- 1,337