Stream: jsCoq

Topic: Yet another SF preview

view this post on Zulip Shachar Itzhaky (Jan 09 2021 at 10:32):

Hi guys!

I have put up another version of SF (LF+PLF) at, this time base on waCoq because the JS version was throwing "Stack overflow"s for some big nat values. You are most welcome to try it!

It is the Aug 2020 version, once the 2021 edits have stabilized I will update it to reflect the most recent edition.
(Right now waCoq does not work on Safari due to some partial implementation of WebAssembly, will have to find a workaround.)

view this post on Zulip Pierre Courtieu (Feb 12 2021 at 08:06):

works very well.
Does it produce the grades :-)?

view this post on Zulip Shachar Itzhaky (Mar 03 2021 at 19:29):

Hi! Sorry for going missing, I definitely had plans to also run the grader in the browser -- it requires some porting because it uses Unix features, but definitely looks doable!

Last updated: Jan 31 2023 at 10:01 UTC