Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

Izzimach/EffSpec-lean

Effect monads with specifications (DIjkstra Monads) in Lean 4
Source code at GitHub null
Izzimach/EffSpec-lean.json
{
  "createdAt": "2023-12-21T16:49:10Z",
  "defaultBranch": "main",
  "description": "Effect monads with specifications (DIjkstra Monads) in Lean 4",
  "fullName": "Izzimach/EffSpec-lean",
  "homepage": null,
  "language": "Lean",
  "name": "EffSpec-lean",
  "pushedAt": "2024-02-18T16:34:31Z",
  "stargazersCount": 11,
  "topics": [],
  "updatedAt": "2025-06-19T03:09:15Z",
  "url": "https://github.com/Izzimach/EffSpec-lean"
}

EffSpec-lean

Section titled “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.