proof-refinement topic
List
proof-refinement repositories
refinery
68
Stars
2
Forks
Watchers
⛏️ A refinement proof framework for haskell
sml-dependent-lcf
16
Stars
1
Forks
Watchers
A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!