Def M

Modification history

2024-01-05 01:23

test/Nondet.lean

chore: bump std4 dependency (#9426) …

Deleted M View on Github →

2023-09-13 01:17

test/Nondet.lean

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

Added M View on Github →