Enable Binder environment for PRs#36245

kwankyu wants to merge 1 commit intosagemath:developsagemath/sage:developfrom

kwankyu:p/binder-enabled-repokwankyu/sage:p/binder-enabled-repoCopy head branch name to clipboard