commit: eb678f83dbf4cfe161b71664a79fece7c061544f

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 26 15:33:22 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 26 15:34:27 2024 -0800
tree: ea9cfd252a43fa272cc9ac5c0596ca6c63e1e6f8
parent: bb0695b0175bad81f8c13e5db5c6f54e11ca6db0 [diff]

fix: register builtin rpc methods

src/Lean/Widget/UserWidget.lean[diff]

1 file changed

tree: ea9cfd252a43fa272cc9ac5c0596ca6c63e1e6f8

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.