As of May 31, 2023, we have updated our Code of Conduct.

Questions tagged [performance]

For questions pertaining to the measurement or improvement of code and application efficiency.

1 question with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
20 votes
0 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 ...
Jason Gross's user avatar
  • 1,337