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?