Introducing lean-test - A Unit Testing Framework for Lean 4

Stream: lean4

[Tim Williams]

I couldn't find one so I built a unit testing framework that I hope will be useful to the community.

GitHub: https://github.com/tim-br/LeanTest

• 15+ assertion functions (equality, ranges, error handling)

Used in a project here: https://github.com/tim-br/lean-json-parser

Feedback welcome!

[Tracy McSheery]

Do you happen to be looking for proofs / repos to test it on?

[Tim Williams]

Yes I'd love repos and code to test it on.

I haven't used it with theorems yet so I'm not sure how it will interact
but I'd love to try that too.