Commit ba7d01c

committed

working version with rational function proofs

1 parent c6cff52 commit ba7d01cCopy full SHA for ba7d01c

2 files changed

+3256

-123

lines changed

ArkLib/Data/Polynomial
- RationalFunctions.lean
- RationalFunctionsInfrastructure.lean

2 files changed

+3256

-123

lines changed

Comments

(0)