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: May 02 2025 at 03:31 UTC