EffSpec-lean
Effect monads with specifications (DIjkstra Monads) in Lean 4
Based on concepts in the paper "Dijkstra Monads for All" by Kenji Maillard et al.
pteffects
Effect monads with specifications (DIjkstra Monads) in Lean 4
Effect monads with specifications (DIjkstra Monads) in Lean 4
Based on concepts in the paper "Dijkstra Monads for All" by Kenji Maillard et al.