Popular repositories Loading

1. coq-lean-cheatsheet coq-lean-cheatsheet Public

   A quick reference for mapping Coq tactics to Lean tactics

   Lean 69 4

2. mirror-shard mirror-shard Public

   Forked from gmalecha/mirror-shard

   Reflective verification procedures for separation logic programs in Coq

   Coq 2

3. thesis thesis Public

   the thesis

   TeX 2 1

4. promising-verification-targets promising-verification-targets Public

   A list of things I'd love to verify or see verified some day

   2

5. ELE580-PS2 ELE580-PS2 Public

   Forked from zouf/ELE580-PS2

   Interface building for ELE 580

   C 1

6. SPEGameGroup SPEGameGroup Public

   C# 1