1Extracting verified C++ from the Rocq theorem prover at Bloomberg (opens in new tab)(bloomberg.github.io)129clarus5mo ago39Save
3150,000 penguins die because of giant iceberg (opens in new tab)(theguardian.com)1clarus10y ago0Save
4Proving false in Coq using an implementation bug (opens in new tab)(github.com)GitHub125clarus11y ago61Save
