Jasin issues

Repositories
Issues
Comments

Results 2 issues of


                                            Jasin

Regarding the errors after running lake build

Hello! I'm very interested in your work and have recently been trying to reproduce your experiments. However, when I run lake build, a lot of errors appear in the command...

feat(Algebra/Group/ForwardDiff.lean): Add theorem `sum_shift_eq_fwdDiff_iter`.

--- [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

awaiting-author

t-algebra

new-contributor