Skip to content

feat: LawfulMonad and WPMonad instances for Option and OptionT #18381

feat: LawfulMonad and WPMonad instances for Option and OptionT

feat: LawfulMonad and WPMonad instances for Option and OptionT #18381

check-lean-files

succeeded Oct 1, 2025 in 35s