Program Specification Based Programming Course

Stream: Lean for teaching

[Luc Duponcheel]

Hello folks,

The README.md file at https://github.com/LucDuponcheelAtGitHub/PSBP
can be seen as a, somewhat opinionated, programming course.

It is still in a preliminary state. Only the tip of the iceberg has been dealt with.

The course is especially useful for mathematicians and/or computer scientists, researchers as well as students, who are interested in mathematical foundations of programming.

All comments are welcome.
.

[Notification Bot]

A message was moved here from #Lean for teaching > Natural numbers game Lean4 by Jon Eugster.