Four top proof assistants get normalized benchmarks https://github.com/JacquesCarette/panbench # Tech # Programming # Research

Here's a 2-3 sentence summary of the open-source project: The panbench project provides normalized benchmarks for four top proof assistants, enabling teams to p