Proof Assistant as Platform: Building the Next Generation of Verifiers [pdf]

(pirlea.net) by matt_d | Nov 13, 2026 | 0 comments on HN