translating software foundations book into Lean

Stream: general

[Kevin Buzzard]

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]

It might be worth emailing Benjamin Pierce about that.