mathematica icon indicating copy to clipboard operation
mathematica copied to clipboard

Published 20 hours ago • verified publisher icon robertylewis
→

Metadata

Lean-independent implementation of the MM-Lean link

Results 1 mathematica issues
Sort by recently updated
recently updated
newest added

add new pow_to_pexpr rule

I found that I needed a `pow_to_pexpr` to complete the translation of ``` wolfram ProveUsingLeanTactic[ ForAllTyped[{x, y}, real, Equal[Hold[Power[x + y, 2]], Hold[x ^ 2 + 2 * x *...

holtzermann17 avatar holtzermann17

← Metadata

19
Stars
3
Forks
Watchers

Owner

verified publisher icon robertylewis

Metadata

Lean-independent implementation of the MM-Lean link

Back