CRIU blog post · checkpoint-restore criu · Discussion #2823 · GitHub

habemus-papadum
Nov 13, 2025

Hi! fyi, I wrote a small blog post about using CRIU to checkpoint interactive theorem provers: https://g-research-innovation.github.io/lean4-llm/blog4_repl_cryogenics

Thanks very much for the amazing work you do! nehal

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment