dongjaelee1 / refinement-tutorialLinks
Tutorial for refinement based verification
β14Updated last year
Alternatives and similar repositories for refinement-tutorial
Users that are interested in refinement-tutorial are comparing it to the libraries listed below
Sorting:
- π (WIP) Rewriting Software Foundations in Lean 4β17Updated last week
- β15Updated 2 years ago
- β19Updated last year
- β10Updated last year
- β14Updated last year
- π A Rocq library written by members of PnV Discord Serverβ15Updated last week
- μ»΄ν¨ν° μ κΈ°μ νΉκ°β10Updated 2 years ago
- β48Updated 3 months ago
- β22Updated 4 years ago
- β53Updated 3 weeks ago
- β12Updated last year
- β11Updated 9 months ago
- β React-tRace is a React hooks reference interpreter based on a formal semanticsβ32Updated last month
- β57Updated last month
- A Library for Representing Recursive and Impure Programs in Coqβ233Updated 3 weeks ago
- β15Updated 6 months ago
- β62Updated last month
- A Coq library for parametric coinductionβ50Updated 9 months ago
- bidirectional type checking algorithms for higher-ranked polymorphismβ19Updated 3 years ago
- One-for-all python script for running LLVM experimentβ11Updated 3 years ago
- β15Updated 2 months ago
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrencyβ41Updated last year
- Exercises for EOPL in Haskellβ10Updated 6 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic frameworkβ125Updated last week
- EOPL in Haskellβ22Updated last week
- β13Updated 10 months ago
- Ltac2 tutorialβ46Updated 2 years ago
- PL conference deadline countdownsβ63Updated 2 months ago
- β28Updated last year
- β43Updated 11 months ago