checkpoint (lean-option)