Projects in Awesome Lists tagged with proof-refinement
A curated list of projects in awesome lists tagged with proof-refinement .
https://github.com/totbwf/refinery
⛏️ A refinement proof framework for haskell
metaprogramming proof-automation proof-refinement
Last synced: 19 Dec 2024
https://github.com/redprl/sml-dependent-lcf
A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
lcf proof-refinement refiner tactics
Last synced: 25 Feb 2025
https://github.com/robrix/surface
Dependently-typed language w/ little to say for itself
dependent-types haskell proof-refinement typechecker
Last synced: 07 May 2025
