-
Notifications
You must be signed in to change notification settings - Fork 60
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Document
#guarddoc-requestRequest for missing documenationRequest for missing documenationStatus: Open.#853 In leanprover/reference-manual;- Status: Open.#828 In leanprover/reference-manual;
Link from "extended field notation" to "generalized field notation"
doc-requestRequest for missing documenationRequest for missing documenationStatus: Open.#815 In leanprover/reference-manual;Document
where finallydoc-requestRequest for missing documenationRequest for missing documenationStatus: Open.#804 In leanprover/reference-manual;Document the effect of
@[expose]/@[no_expose]on each declarationdoc-requestRequest for missing documenationRequest for missing documenationStatus: Open.#771 In leanprover/reference-manual;- Status: Open.#763 In leanprover/reference-manual;
- Status: Open.#748 In leanprover/reference-manual;
Document valid
leanOptionsdoc-requestRequest for missing documenationRequest for missing documenationStatus: Open.#743 In leanprover/reference-manual;10.4.2: Clarify pipeline syntax
doc-requestRequest for missing documenationRequest for missing documenationStatus: Open.#719 In leanprover/reference-manual;Allow
set_optiondocumentationdoc-requestRequest for missing documenationRequest for missing documenationStatus: Open.#712 In leanprover/reference-manual;Document new wfrec reduction behavior for Nat-valued measures
doc-requestRequest for missing documenationRequest for missing documenationStatus: Open.#680 In leanprover/reference-manual;Improve description of
grind_patterndoc-requestRequest for missing documenationRequest for missing documenationStatus: Open.#640 In leanprover/reference-manual;