Stream: jsCoq

Topic: Custom frontend


view this post on Zulip Archibald Neil MacDonald (May 02 2022 at 12:52):

Hi all, I'm experimenting with writing a custom frontend for Coq using blockly. In terms of using jscoq/wacoq for a backend, are there any resources on disabling the default javascript div injection and/or calling into the API directly? Cheers!

view this post on Zulip Shachar Itzhaky (May 03 2022 at 19:49):

Hi! This is an ongoing shortcoming of jsCoq; the API exists but it is quite unstable and not documented. Here is a small snippet that showcases loading jsCoq and programmatically invoking some proof manipulation, that I created for a similar request in the past.
playful.html

view this post on Zulip Shachar Itzhaky (May 03 2022 at 19:49):

it assumes jsCoq installed via NPM (npm install jscoq from the same directory that contains playful.html; then serve the directory over http).

view this post on Zulip Archibald Neil MacDonald (May 03 2022 at 23:20):

Hi Shachar, thanks for this, that is very helpful! I'll give it a peruse.

view this post on Zulip Emilio Jesús Gallego Arias (May 04 2022 at 15:51):

Hi @Archibald Neil MacDonald , I'm busy today, I will get back to you with more detail soon, but someone did already implement a blocky frontend for jsCoq

view this post on Zulip Emilio Jesús Gallego Arias (May 04 2022 at 15:51):

let me contact them and see if the code is available already

view this post on Zulip Bernard Boey (May 31 2022 at 09:40):

Hello @Archibald Neil MacDonald! Sorry for the follow-up, I'm the person that @Emilio Jesús Gallego Arias was referring to. I did implement an online frontend for Coq using Blockly and jsCoq, and it's available at https://henblocks.github.io/. Not sure if this is super useful though, because I still made use of the default javascript div injection. The source code is available at https://github.com/henblocks/henblocks.github.io. This was part of a final year project for my undergrad, so it's very much just a prototype. Apologies for the lack of documentation/tutorials, I do hope to add them in the future if possible. Happy to chat more if you'd like to!

view this post on Zulip Shachar Itzhaky (May 31 2022 at 15:16):

That is absolutely adorable!!


Last updated: Jan 30 2023 at 18:04 UTC