dongjaelee1 / refinement-tutorialLinks
Tutorial for refinement based verification
β13Updated 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:
- β15Updated 2 years ago
- π (WIP) Rewriting Software Foundations in Lean 4β12Updated last month
- β19Updated last year
- β10Updated last year
- β13Updated last year
- μ»΄ν¨ν° μ κΈ°μ νΉκ°β10Updated 2 years ago
- π A Coq library written by members of PnV Discord Serverβ14Updated this week
- β48Updated last month
- β React-tRace is a React hooks reference interpreter based on a formal semanticsβ29Updated last week
- β22Updated 4 years ago
- One-for-all python script for running LLVM experimentβ11Updated 3 years ago
- β45Updated 2 weeks ago
- β54Updated 2 weeks ago
- β12Updated last year
- A Coq library for parametric coinductionβ50Updated 7 months ago
- β15Updated 4 months ago
- β13Updated 8 months ago
- β19Updated 5 years ago
- β43Updated 9 months ago
- β62Updated 2 months ago
- A Library for Representing Recursive and Impure Programs in Coqβ231Updated last month
- Lean 4 port of Iris, a higher-order concurrent separation logic frameworkβ116Updated 3 weeks ago
- bidirectional type checking algorithms for higher-ranked polymorphismβ19Updated 3 years ago
- β15Updated 3 weeks ago
- A mechanisation of Wasm in Coq(Rocq)β108Updated last week
- The Coq development of A Promising Semantics for Relaxed-Memory Concurrencyβ41Updated 10 months ago
- PL conference deadline countdownsβ61Updated last month
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coqβ185Updated last week
- A function definition package for Coqβ232Updated 2 months ago
- β11Updated 7 months ago