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:
- β10Updated last year
- π (WIP) Rewriting Software Foundations in Lean 4β13Updated 2 months ago