Def Nondet.ofOptionM

Modification history

2024-01-05 01:23

Mathlib/Data/Nondet/Basic.lean

chore: bump std4 dependency (#9426) …

Deleted Nondet.ofOptionM View on Github →

2023-09-13 01:17

Mathlib/Data/Nondet/Basic.lean

feat: nondeterminism monad, and use in backtrack (#3464)

Added Nondet.ofOptionM View on Github →