TOTBWF / refinery

⛏️ A refinement proof framework for haskell

TOTBWF/refinery Issues

New release on Hackage?
Updated 5 months ago
asks-like equivalent for goal
Closed 3 years ago1
Rule doesn't need to receive a jdg
Closed 3 years ago1
catchError for RuleT is bottom
Closed 3 years ago1
TacticT should be a reader over the judgement
Closed 3 years ago1
Tactic/rule polymorphism
Updated 3 years ago
Expose proofstate's Empty constructor in rules
Updated 3 years ago
Could you please add git tags for the versions released to Hackage?
Updated 4 years ago1
proofs doesn't return the resulting state
Closed 4 years ago1
Commit doesn't resume after errors
Closed 4 years ago
ProvableT doesn't lift MonadReader
Closed 4 years ago1