search

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

Added course at RWTH Aachen #549

Open PhoenixIra opened 6 days ago

PhoenixIra commented 6 days ago

We added lean4 a bit spontaneous as part of the exercises accompanying the course Semantics and Verification of Software.