Search results

Uncaught RangeError: Maximum call stack size exceeded

Status: Open.

#420 In jscoq/jscoq;

· bennyzhe opened on Oct 8, 2025

bootstrap css is missing in artifact

Status: Open.

#418 In jscoq/jscoq;

· helguo opened on Sep 29, 2025

Named goal with focusing brace ignores the first tactic in the block

fixed by: fleche

Status: Open.

#394 In jscoq/jscoq;

· dhalilov opened on Jun 29, 2025

[bugfix] jsCoq worker does not load past 2.0 MB on FireFox

Status: Open.

#378 In jscoq/jscoq;

· abnormalhare opened on Oct 24, 2024

[rfc] jsCoq protocol, based on LSP

Status: Open.

#377 In jscoq/jscoq;

· ejgallego opened on Oct 9, 2024

[webpack] Remove webpack

Status: Open.

#365 In jscoq/jscoq;

· ejgallego opened on Sep 16, 2024

·  

2.0

[wasm] Update runtime to 4.14.2

Status: Open.

#362 In jscoq/jscoq;

· ejgallego opened on Sep 16, 2024

·  

2.0

Removing (* prefix of a comment does not backstep to line

Status: Open.

#361 In jscoq/jscoq;

· cas-haaijman opened on Sep 9, 2024

Stack overflow in proof with ~500 lines.

fixed by: fleche

Status: Open.

#360 In jscoq/jscoq;

· kutschkem opened on Jul 24, 2024

Support for 8.20

Status: Open.

#359 In jscoq/jscoq;

· herbelin opened on Jul 5, 2024

Following embedding.md instructions doesn't work with ^0.17

Status: Open.

#356 In jscoq/jscoq;

· KevOrr opened on Jan 20, 2024

Modular stylesheets (no Bootstrap) and initially disabled jsCoq

Status: Open.

#355 In jscoq/jscoq;

· ghost opened on Nov 10, 2023