GitHub topics: proof-refinement
TOTBWF/refinery
⛏️ A refinement proof framework for haskell
Language: Haskell - Size: 142 KB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 69 - 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: 2 months ago - Pushed at: about 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: 2 days ago - Pushed at: about 7 years ago - Stars: 10 - Forks: 0
