WIP tool for translating `.lean` files from lean3 to lean4
Primary LanguageLeanApache License 2.0Apache-2.0