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

 (pirlea.net)

1 points | by matt_d 8 hours ago ago

No comments yet.