commit: cd9105c457166651d8d3799921814825548c4453

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

Tue Apr 29 18:07:35 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Tue Apr 29 18:07:35 2025 +0200
tree: 54f32337cf8e6edde9e6288eef207f4a1b3d9b15
parent: db35bbb1a0b2361c3e96d700afeb0e527d1d4d64 [diff]

chore: add failing grind +ring tests

tests/lean/grind/grobner_type_mismatch.lean[Added - diff]
tests/lean/run/grind_ring_3.lean[Added - diff]

2 files changed

tree: 54f32337cf8e6edde9e6288eef207f4a1b3d9b15

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 (documentation source: doc/make/index.md).