GitHub topics: proof-refinement
TOTBWF/refinery
⛏️ A refinement proof framework for haskell
Language: Haskell - Size: 142 KB - Last synced at: 23 days ago - Pushed at: about 2 years ago - Stars: 70 - Forks: 3
RedPRL/sml-dependent-lcf
A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!
Language: Standard ML - Size: 1.4 MB - Last synced at: 5 months ago - Pushed at: over 7 years ago - Stars: 16 - Forks: 1
robrix/surface
Dependently-typed language w/ little to say for itself
Language: Haskell - Size: 407 KB - Last synced at: 5 days ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 0
