commit: 03930cef09e6104f166f134e1225aa286e627055

[log]
author: Kim Morrison <kim@tqft.net>

Mon Sep 22 13:12:50 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Mon Sep 22 13:13:34 2025 +0200
tree: 87073f25294932d5143193b857ab34c43c6a6cd4
parent: 9fc18b8ab462cb9100d37a23814ebbac330e8577 [diff]

chore: add limited public API for builtinRpcProcedures

src/Lean/Server/Rpc/RequestHandling.lean[diff]

1 file changed

tree: 87073f25294932d5143193b857ab34c43c6a6cd4

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.