Add section for Kevin Sullivan UVa ugrad course in discrete math

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

https://leanprover-community.github.io/

MIT License

54 stars 123 forks source link

Add section for Kevin Sullivan UVa ugrad course in discrete math #412

Open kevinsullivan opened 10 months ago

kevinsullivan commented 10 months ago

Thanks for considering the addition of this material to your list, and for the help knowing how to submit this PR.

PatrickMassot commented 6 months ago

@kevinsullivan it would be nice to follow up on this so that your course can be added to the webpage.

kevinsullivan commented 3 months ago

@kevinsullivan it would be nice to follow up on this so that your course can be added to the webpage.

Thank you everyone, and I'm sorry for unresponsiveness on this thread. I will be updated the materials and reposting them for my fall class shortly. Very best, --Kevin