commit: 84b1a20dfca1ad06939ede9e2b5209b0eb4ca021

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

Mon Mar 25 19:54:19 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Mar 25 19:54:19 2024 +1100
tree: 85dfd1a48847a59c09ec2f40ce9980e94bf47219
parent: a943a79bd3cebd4243eb3e3fbb9f577fb9a8766d [diff]

Revert "chore: ToJson/FromJson Sum (#3759)"

This reverts commit a943a79bd3cebd4243eb3e3fbb9f577fb9a8766d.

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

1 file changed

tree: 85dfd1a48847a59c09ec2f40ce9980e94bf47219

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.