Zulip Chat Archive
Stream: Lean for teaching
Topic: Automated Assessment
Gihan Marasingha (Jun 09 2021 at 15:44):
I've been reading Software Foundations. The authors mention a process for partially automated / partially human-marked assessment of Coq scripts. Does anyone here have knowledge of how that works and/or of how I could do something similar in Lean?
Last updated: Dec 20 2023 at 11:08 UTC