Def record

Modification history

2024-01-05 01:23

test/Nondet.lean

chore: bump std4 dependency (#9426) …

Deleted record View on Github →

2023-09-13 01:17

test/Nondet.lean

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

Added record View on Github →