commit: 84d6bc378ea2f525571783304aedfa39354f06ea

[log]
author: Rob Simmons <rob@lean-fro.org>

Sat Apr 25 14:19:51 2026 -0400
committer: Rob Simmons <rob@lean-fro.org>

Sat Apr 25 14:19:51 2026 -0400
tree: ca3475d0ff17f3dbe8cbd55a3695963ec740ecdf
parent: 24bef91f9a20a45f074729e869461d374687de1c [diff]

feat: make unit RpcEncodable

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

1 file changed

tree: ca3475d0ff17f3dbe8cbd55a3695963ec740ecdf

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.