Comment Comment by wazHFsRy Does that mean your production code is lean? Or do you translate some other language code to lean to verify it? parent wazHFsRy 7 months ago
