Mathlib v3 is deprecated. Go to Mathlib v4

Def string.hash

Modification history

2020-03-16 17:51
src/tactic/doc_commands.lean
feat(tactic): command for adding tactic, command, and attribute documentation (#2114) …
Modified string.hashView on Github →
2019-12-18 06:01
src/tactic/library_note.lean
feat(*): add command for declaring library notes (#1810) …
Added string.hashView on Github →