Def nbhd

Modification history

2023-11-01 02:56

test/search/BestFirst.lean

feat: the `rw_search` tactic (#6120) …

Modified nbhd View on Github →

2023-08-09 01:11

test/search/BestFirst.lean

chore: bump Std (adapt to migration of ListM) (#6413) …

Modified nbhd View on Github →

2023-06-12 01:02

test/search/BestFirst.lean

chore: formatting issues (#4947)

Added nbhd View on Github →