mit-frap / spring23
Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
☆29Updated last year
Alternatives and similar repositories for spring23:
Users that are interested in spring23 are comparing it to the libraries listed below
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆43Updated 3 months ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆44Updated 3 weeks ago
- embedding MLIR in LEAN☆47Updated 9 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆92Updated this week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq