feat: re-integrate lean4checker as leanchecker
#11887
Merged
Loading
leanchecker
#11887