Kevin Buzzard (Mar 20 2018 at 17:02):
I find myself idly translating parts of Software Foundations into Lean. Are there copyright issues if I make my translation available to (a) my students (b) the world?
Simon Hudon (Mar 20 2018 at 17:18):
It might be worth emailing Benjamin Pierce about that.
Last updated: May 06 2021 at 21:09 UTC