Comment by wazHFsRy

4 hours ago

Does that mean your production code is lean? Or do you translate some other language code to lean to verify it?

0 comments