mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00

Files

Kim Morrison e9cc84b7c9 chore: improve release command PR status checking (#12536 )

This PR adds guidance to the release slash command to check actual PR
merge state (using `gh pr view`) when reporting status, rather than
relying on cached CI results. This prevents incorrectly reporting
already-merged PRs as still needing review.

🤖 Prepared with Claude Code

---------

Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>

2026-02-17 21:21:30 +00:00

dev

chore: improve release command PR status checking (#12536 )

2026-02-17 21:21:30 +00:00

examples

doc: add IJCAR 2026 grind paper examples (#12462 )

2026-02-13 04:02:11 +00:00

images

doc: update quickstart guide for new display name (#5193 )

2024-08-28 13:29:16 +00:00

latex

doc: upstream the Lean4 pygments lexer (#3125 )

2024-05-20 11:40:24 +00:00

make

doc: fix broken "quickstart" and "supported editors" link (#8785 )

2025-09-02 12:45:04 +00:00

std

doc: grove: more String data (#11557 )

2025-12-09 15:49:33 +00:00

.gitignore

doc: mdbook init

2020-10-30 14:23:47 +01:00

BoolExpr.lean

chore: Std -> Batteries renaming (#4108 )

2024-05-08 05:04:25 +00:00

metaprogramming-arith.lean

refactor: remove some unnecessary antiquotation kind annotations

2022-07-23 17:09:32 +02:00

perf.md

doc: add basic perf documentation

2021-09-06 07:12:36 -07:00

README.md

chore: remove old documentation site (#7974 )

2025-05-14 14:31:33 +00:00

style.md

doc: write a guideline for tactic docstrings (#11406 )

2026-01-06 04:40:20 +00:00

syntax_example.lean

doc: fix example style

2022-04-22 16:26:16 +02:00

README.md

Developer Documentation and Examples

This directory contains documentation that describes how to work on Lean itself, as well as examples that are included in documentation that's hosted on the Lean website. The make directory contains information on building Lean, and the dev directory describes how to work on Lean.

The documentation section has links to documentation that describes how to use Lean itself.