Skip to content

[demo] Plugin design#13

Draft
robsimmons wants to merge 26 commits into
leanprover:nixosfrom
robsimmons:plugin
Draft

[demo] Plugin design#13
robsimmons wants to merge 26 commits into
leanprover:nixosfrom
robsimmons:plugin

Commits

Commits on Feb 16, 2026

Commits on Feb 17, 2026

Commits on Feb 18, 2026

Commits on Feb 19, 2026