NSF proposal on Git-maintained math OER content

Stream: Lean for teaching

[Steven Clontz]

Looking for prior art for an upcoming NSF proposal to support math faculty in using Git workflows for creating/collaborating/etc undergraduate math open educational software or documents. Of course Mathematics in Lean is a good example (bonus: it gets students using Git workflows too). Does this community know of other lean-related examples?

[François G. Dorais]

Very nice! Maybe post to announcements channel too?

[François G. Dorais]

I've been doing this for years in my lean undergraduate research group at UVM. (Locally sponsored REU.) Let me know what you need.

[Steven Clontz]

Ah, well, it's still a WIP proposal, so I'm not sure there's anything to announce yet. But any feedback folks have to help me make the case that these skills will produce stronger undergraduate math programs is helpful. (A funded REU is on my mind as a potential aspect of the project.)