Def Lean.Environment.getSortedStackProjectDeclNames

Modification history

2024-09-02 13:40
Mathlib/Tactic/StacksAttribute.lean
feat: parser for Stacks Project Tags (#16230) …
Deleted Lean.Environment.getSortedStackProjectDeclNamesView on Github →
2024-08-27 21:15
Mathlib/Tactic/StacksAttribute.lean
chore: add the stacks attribute and extension (#16191) …
Added Lean.Environment.getSortedStackProjectDeclNamesView on Github →