Pinned Loading

1. hopv/rust-horn hopv/rust-horn Public

   RustHorn: A CHC-based automated verifier for Rust

   SMT 86

2. hopv/nola hopv/nola Public

   Nola: Later-Free Ghost State for Verifying Termination in Iris

   Rocq Prover 8 1

3. wiwinwlh-jp wiwinwlh-jp Public

   What I Wish I Knew When Learning Haskell 日本語訳

   117 5

4. fp-papers fp-papers Public

   関数型プログラミングに関する論文の非公式日本語訳

   24

5. hopv/vel hopv/vel Public

   Vel: A language for verified low-level software

   Rust 15