search

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
51 stars 119 forks source link

Update courses.yaml by adding Phil Wood's course from Spring 2023 #392

Closed philmwood closed 10 months ago

philmwood commented 10 months ago

Hi Rob,

I was thinking not to include a repository. I had borrowed a lot of homework exercises with the expectation that I would keep them off the broader web, and outside of exercises, the content of my course was closely aligned with the Mathematics in Lean book repository, so I think that is the best place for people to look.

Best,

Phil

On Thu, Nov 2, 2023 at 1:25 PM Rob Lewis @.***> wrote:

@.**** commented on this pull request.

Thanks! Those sound like very nice projects for this kind of course.

In data/courses.yaml https://github.com/leanprover-community/leanprover-community.github.io/pull/392#discussion_r1380540013 :

@@ -18,6 +18,21 @@ #

This list is not ordered. Add new entries wherever you want.

+- name: Introduction to formal verification of mathematics

  • instructor: Philip Matchett Wood
  • institution: Harvard University
  • lean_version: 3
  • tags: ['mathematics']

⬇️ Suggested change

It's not necessary, but do you have a course website or repository you want to include?

— Reply to this email directly, view it on GitHub https://github.com/leanprover-community/leanprover-community.github.io/pull/392#pullrequestreview-1710885440, or unsubscribe https://github.com/notifications/unsubscribe-auth/A2AZWL3GKXKXDFU5EMQ55JDYCPJRFAVCNFSM6AAAAAA63H4D62VHI2DSMVQWIX3LMV43YUDVNRWFEZLROVSXG5CSMV3GSZLXHMYTOMJQHA4DKNBUGA . You are receiving this because you authored the thread.Message ID: <leanprover-community/leanprover-community.github. @.***>

-- Philip Matchett Wood (he/him/his) Senior Lecturer, Research Scientist Department of Mathematics Harvard University