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: Aug 03 2023 at 10:10 UTC