Questions tagged [performance]
For questions pertaining to the measurement or improvement of code and application efficiency.
1 question with no upvoted or accepted answers
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 ...