Questions tagged [performance]

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

2 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
20 votes
0 answers
226 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 ...
Jason Gross's user avatar
  • 1,457
7 votes
0 answers
89 views

How to improve/understand typechecking performance in Agda?

I've recently been trying to do some basic formalization of category theory in Agda. As part of this I need to prove a bunch of basic properties around products/monoidal categories. A bunch of these ...
Eric Dobson's user avatar