leanprover-community.github.io icon indicating copy to clipboard operation
leanprover-community.github.io copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Add course at TU Dresden to courses.yaml

Open marcusrossel opened this issue 1 year ago • 4 comments

marcusrossel avatar Nov 24 '23 10:11 marcusrossel

Thanks! The description on the website you link to says that the course will use Haskell and Coq; is this outdated? Are there any public materials for your course you're able to share?

robertylewis avatar Nov 24 '23 20:11 robertylewis

@robertylewis Yes, the description is outdated. We use Lean and Coq for the exercises. Unfortunately the lecture slides and exercises are in private repositories. I'll ask the lecturer if he'd be willing to share some version of them.

marcusrossel avatar Nov 24 '23 21:11 marcusrossel

@marcusrossel any update here?

PatrickMassot avatar Apr 26 '24 22:04 PatrickMassot

@sertel, could you create a new public repo from the no-solution branch of the fcplcd-exercises repo? Then I could link to the exercise sheets in this PR.

marcusrossel avatar Apr 27 '24 16:04 marcusrossel

Ok, I don't want to keep this open any longer. Sorry for the noise.

marcusrossel avatar May 30 '24 19:05 marcusrossel