
Proof Profiler
This is like ACL2's accumulated-persistence and dmr features. It updates automatically as you submit new proofs.
Note that proofs will be considerably slower with profiling enabled.
Todo/Wishlist
- Implement bare-bones version
- Figure out how to turn profiling on/off dynamically.
- Major feature: click/hover on a rule to see what it is.
- How about also automatic disable lists?