6Testing
6 entries
- PlausibleProperty-based testing and counterexample search.leanprover-community/plausible
- LSpecSpecification testing framework.argumentcomputer/LSpec
- nestExtensible test framework inspired by Haskell's tasty (unit tests).hargoniX/nest-core
- LTestFixture-based test framework in the style of pytest.alexf91/LTest
- LeanTestUnit testing framework with a wide range of assertions.tim-br/LeanTest
- lean4-assert-commandSimple
#assertcommand for inline checks.pnwamk/lean4-assert-command