Search results

@[defeq]

doc-requestRequest for missing documenationRequest for missing documenation

Status: Open.

#470 In leanprover/reference-manual;

· david-christiansen opened on Jun 11, 2025

Additional architectural overview of the lean ecosystem

doc-requestRequest for missing documenationRequest for missing documenation

Status: Open.

#468 In leanprover/reference-manual;

· metakunt opened on Jun 11, 2025

Document input_file and input_dir in Lake

doc-requestRequest for missing documenationRequest for missing documenation

Status: Open.

#467 In leanprover/reference-manual;

· david-christiansen opened on Jun 10, 2025

fallback in pattern match

doc-requestRequest for missing documenationRequest for missing documenation

Status: Open.

#465 In leanprover/reference-manual;

· arademaker opened on Jun 9, 2025

Upstream longer examples from attribute docstrings

doc-requestRequest for missing documenationRequest for missing documenation

Status: Open.

#449 In leanprover/reference-manual;

· david-christiansen opened on May 27, 2025

Add an example for <code>attribute [{local,scoped} simp] lemma</code>

doc-requestRequest for missing documenationRequest for missing documenation

Status: Open.

#441 In leanprover/reference-manual;

· sgraf812 opened on May 19, 2025

Term vs tactic mode <code>rfl</code>

doc-requestRequest for missing documenationRequest for missing documenation

Status: Open.

#439 In leanprover/reference-manual;

· david-christiansen opened on May 15, 2025

Thread synchronization overview

doc-requestRequest for missing documenationRequest for missing documenation

Status: Open.

#436 In leanprover/reference-manual;

· david-christiansen opened on May 12, 2025

More Lake library and <code>needs</code> docs

doc-requestRequest for missing documenationRequest for missing documenation

Status: Open.

#425 In leanprover/reference-manual;

· david-christiansen opened on May 1, 2025

Binder kind updates in structures

doc-requestRequest for missing documenationRequest for missing documenation

Status: Open.

#408 In leanprover/reference-manual;

· david-christiansen opened on Mar 31, 2025

Describe <code>lean4checker</code>

doc-requestRequest for missing documenationRequest for missing documenation

Status: Open.

#355 In leanprover/reference-manual;

· david-christiansen opened on Mar 17, 2025

Simp congruence lemmas

doc-requestRequest for missing documenationRequest for missing documenation

Status: Open.

#349 In leanprover/reference-manual;

· Rob23oba opened on Mar 16, 2025