Def ffoo3

Modification history

2023-03-08 00:36

test/Simps.lean

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

Modified ffoo3 View on Github →

2022-10-23 12:09

test/Simps.lean

feat: port simps (#445) …

Added ffoo3 View on Github →