Questions tagged [high-performance-computing]

Questions about or related to high-performance computing, parallel computing, GPU computing, performance optimization, etc., as they relate to computer-assisted proofs.

Filter by
Sorted by
Tagged with
13 votes
0 answers
477 views

How to speed up Lean?

I've recently been writing my first somewhat serious proof in Lean. While doing that, I noticed that Lean gets slower very fast with increasing length of the proof (slower in the sense that whenever I ...
GraffL's user avatar
  • 471
25 votes
2 answers
426 views

High-performance proof assistants

I mainly work in the field of high-performance computing (HPC). For a 2020 paper I did a Monte Carlo calculation using 24800 CPUs, and one part of the paper was about showing that even up to 24800 ...
Nike Dattani's user avatar
  • 1,165