LawfulMonad

📁 Source: Batteries/Lean/LawfulMonad.lean

Statistics

Metric	Count
Definitions	0
Theorems instLawfulMonadBaseIO_batteries, instLawfulMonadCommandElabM_batteries, instLawfulMonadCoreM_batteries, instLawfulMonadEIO_batteries, instLawfulMonadEST_batteries, instLawfulMonadIO_batteries, instLawfulMonadMetaM_batteries, instLawfulMonadST_batteries, instLawfulMonadTacticM_batteries, instLawfulMonadTermElabM_batteries	10
Total	10

(root)

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instLawfulMonadBaseIO_batteries 📖	—	—	—	—	instLawfulMonadST_batteries
instLawfulMonadCommandElabM_batteries 📖	—	—	—	—	instLawfulMonadEIO_batteries
instLawfulMonadCoreM_batteries 📖	—	—	—	—	instLawfulMonadEIO_batteries
instLawfulMonadEIO_batteries 📖	—	—	—	—	instLawfulMonadEST_batteries
instLawfulMonadEST_batteries 📖	—	—	—	—	—
instLawfulMonadIO_batteries 📖	—	—	—	—	instLawfulMonadEIO_batteries
instLawfulMonadMetaM_batteries 📖	—	—	—	—	instLawfulMonadCoreM_batteries
instLawfulMonadST_batteries 📖	—	—	—	—	—
instLawfulMonadTacticM_batteries 📖	—	—	—	—	instLawfulMonadTermElabM_batteries
instLawfulMonadTermElabM_batteries 📖	—	—	—	—	instLawfulMonadMetaM_batteries

---

← Back to Index