Def foo.rfl2

Modification history

2023-03-08 00:36

test/Simps.lean

feat: simps support additional simp-attributes (#2398) …

Modified foo.rfl2 View on Github →

2022-10-23 12:09

test/Simps.lean

feat: port simps (#445) …

Added foo.rfl2 View on Github →