HN Explorer

syrak

↗ HN profile [ 694 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Creusot 0.14.0 – Contracts for Rust, formally proved (devlog.creusot.rs)
    1 points 2
  2. Creusot 0.11.0: VerifyThis Winner (devlog.creusot.rs)
    1 points 0
  3. Creusot: Devlog (creusot-rs.github.io)
    2 points 0
  4. Ffs: The File Fileystem (mgree.github.io)
    4 points 1