Theorem testBit_pred

Modification history

2024-11-01 06:14

test/slim_check.lean

refactor: move slim_check to plausible (#18459) …

Deleted testBit_pred View on Github →

2024-02-10 22:15

test/slim_check.lean

fix(Testing/SlimCheck/Testable): do not call `inferType` on an expression with `bvar`s (#9722) …

Added testBit_pred View on Github →