commit: b9d9d2b1da0ddb11f75e1339121ddb90bc110700

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Mon Mar 25 18:28:33 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Mar 25 18:28:33 2024 +1100
tree: 7fe10ff78dc8b711675bb8cb79762d75d1bc5c3a
parent: 655ec964f5d6b0810ce0e517a6b3bbb3d5186d25 [diff]

chore: ToJson/FromJson Sum

src/Lean/Data/Json/FromToJson.lean[diff]

1 file changed

tree: 7fe10ff78dc8b711675bb8cb79762d75d1bc5c3a

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.