GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

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

#378

· abnormalhare opened

on Oct 24, 2024

[rfc] jsCoq protocol, based on LSP

#377

· ejgallego opened

on Oct 9, 2024

[webpack] Remove webpack

#365

· ejgallego opened

on Sep 16, 2024

·

[wasm] Update runtime to 4.14.2

#362

· ejgallego opened

on Sep 16, 2024

·

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

#361

· cas-haaijman opened

on Sep 9, 2024

Stack overflow in proof with ~500 lines.

fixed by: fleche

#360

· kutschkem opened

on Jul 24, 2024

Support for 8.20

#359

· herbelin opened

on Jul 5, 2024

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

#356

· KevOrr opened

on Jan 20, 2024

Modular stylesheets (no Bootstrap) and initially disabled jsCoq

#355

· praalhans opened

on Nov 10, 2023

Embedding jsCoq on any webpage

#352

· praalhans opened

on Nov 8, 2023

LSP deals poorly with Utf8

#351

· LasseBlaauwbroek opened

on Oct 18, 2023

·

[printer] Pp problem

#349

· ejgallego opened

on Oct 14, 2023

0