-
Notifications
You must be signed in to change notification settings - Fork 61
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Suggested build step fails
bugSomething isn't workingSomething isn't workingStatus: Open.#880 In leanprover/reference-manual;- Status: Open.#878 In leanprover/reference-manual;
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;