Structure X

Modification history

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 →