Stream: Teaching [with] Coq

Topic: coqdoc jscoq template

view this post on Zulip Emilio Jesús Gallego Arias (Sep 14 2023 at 15:28):

Hi folks, for those interested in deploying courses with jsCoq, I've put online a small template to do so from coqdoc .v files, see this thread for more info and discussion https://coq.zulipchat.com/#narrow/stream/256336-jsCoq/topic/coqdoc.20template

Last updated: Oct 13 2024 at 01:02 UTC