Humbulani1234 / django-default

Django Probability of Default
1 stars 1 forks source link

Proof or disproof of the mergeability of two arbitrary ShapeTrackers in Lean #41

Open Humbulani1234 opened 4 months ago

Humbulani1234 commented 4 months ago

I have tried to look for the file '(see docs/reshape_without_symbolic.md)' in the source in relation to this bounty to no success. Is the file located somewhere else than the 'docs/' directory?

Actually doesn't this link already address this bounty [https://github.com/tinygrad/tinygrad/pull/2218/files#diff-9c4bc25c609588862d30e9206f30ec2c4ca1cd1de74da0865124af72e184b42d]