Theorem YX

Modification history

2026-08-11 00:21

MathlibTest/Util/CountHeartbeats.lean

chore: bump toolchain to v4.34.0-rc1 (#42619)

Deleted YX View on Github →

2025-01-13 11:11

MathlibTest/CountHeartbeats.lean

feat: `#count_heartbeats` for all declarations (#20421) …

Added YX View on Github →