Def x

Modification history

2024-01-05 01:23

test/Nondet.lean

chore: bump std4 dependency (#9426) …

Deleted x View on Github →

2023-09-13 01:17

test/Nondet.lean

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

Added x View on Github →

2022-10-23 12:09

test/Simps.lean

feat: port simps (#445) …

Deleted x View on Github →

2021-11-30 14:22

test/Simps.lean

feat: no-operation simps attribute, to avoid unnecessary errors in mathport output (#106) …

Added x View on Github →