Skip to content

Lean: Translate function bodies that only consist of literals or variables #1429

Lean: Translate function bodies that only consist of literals or variables

Lean: Translate function bodies that only consist of literals or variables #1429