REPL cryogenics

Stream: general

[Nehal Patel]

Hi, I wrote a small blog post: https://g-research-innovation.github.io/lean4-llm/blog4_repl_cryogenics comparing the pickling facilities built in to the lean community repl and checkpointing process trees using CRIU. It's a somewhat obscure topic, but sharing in case someone finds it useful. Cheers, nehal