Hacker News new | ask | show | jobs
by Kab1r 52 days ago
I have written complex proofs for distributed system using verus which are certainly not expressed by clippy