-
Notifications
You must be signed in to change notification settings - Fork 68
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Document
strong_coinductdoc-requestRequest for missing documenationRequest for missing documenationStatus: Open.#937 In leanprover/reference-manual;Document
monotonicity_bydoc-requestRequest for missing documenationRequest for missing documenationStatus: Open.#936 In leanprover/reference-manual;Instances are always exposed
doc-requestRequest for missing documenationRequest for missing documenationStatus: Open.#935 In leanprover/reference-manual;- Status: Open.#902 In leanprover/reference-manual;
Declaration modifiers don't mention the public visibility
bugSomething isn't workingSomething isn't workingStatus: Open.#896 In leanprover/reference-manual;Axioms and Classes disagree on parametricity
bugSomething isn't workingSomething isn't workingStatus: Open.#890 In leanprover/reference-manual;Document interaction of
namespaceandopendoc-requestRequest for missing documenationRequest for missing documenationStatus: Open.#884 In leanprover/reference-manual;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;