Skip to content

Issues: jscoq/jscoq

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

66 Open 113 Closed
66 Open 113 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Following embedding.md instructions doesn't work with ^0.17
#356 opened Jan 20, 2024 by KevOrr
2
Modular stylesheets (no Bootstrap) and initially disabled jsCoq
#355 opened Nov 10, 2023 by praalhans
3
Embedding jsCoq on any webpage
#352 opened Nov 8, 2023 by praalhans
6
LSP deals poorly with Utf8
#351 opened Oct 18, 2023 by LasseBlaauwbroek 0.17.0+lsp
1
Deploying Tactician on JsCoq v8.17+lsp
#350 opened Oct 18, 2023 by LasseBlaauwbroek 0.17.0+lsp
6
[printer] Pp problem
#349 opened Oct 14, 2023 by ejgallego
2
Keep contents of snippets when refreshing
#348 opened Oct 6, 2023 by corwin-of-amber
1
Syntax highlighting: some tactics appear in red kind: ui
#347 opened Oct 6, 2023 by jnarboux
3
JsCoq button can make you loose your work
#346 opened Oct 6, 2023 by jnarboux
4
Button to show/hide goal window is non-standard
#345 opened Oct 6, 2023 by jnarboux
Type information is incorrect
#344 opened Oct 6, 2023 by jnarboux
Add tool tips for the navigations buttons
#343 opened Oct 6, 2023 by jnarboux
Allow to have completion without unicode notations
#342 opened Oct 6, 2023 by jnarboux
1
Add buttons for load, save, save as kind: enhancement kind: ui
#340 opened Sep 26, 2023 by jnarboux
Unable to set Coq properties
#339 opened Aug 15, 2023 by arnoudvanderleer
3
[roadmap] jsCoq 2.0 kind: meta
#337 opened Jul 27, 2023 by ejgallego
1 of 24 tasks
[coq-lsp] Restore auto-reload of packages - allow updating workspace
#335 opened Jul 25, 2023 by corwin-of-amber
@ejgallego
Mime type problem with jscoq_worker.bc.cjs
#331 opened Jul 23, 2023 by Villetaneuse 0.17.0+lsp
@corwin-of-amber
1
Running jsCoq offline
#327 opened May 7, 2023 by ericoporto
5
Search does not work kind: enhancement part: cm5
#326 opened Apr 28, 2023 by lironco 0.17.0+lsp
@corwin-of-amber
Unable to successfully load jscoq on the webpage kind: js-backend
#325 opened Apr 16, 2023 by xielihan
8
[scratchpad] Github Gist Support
#311 opened Nov 10, 2022 by ejgallego
Can the 32-bit jsCoq target be cleaned up?
#304 opened Oct 29, 2022 by artagnon
1
[schema] Human-level annotations in Coq sentences
#295 opened Sep 29, 2022 by ejgallego
Better document how to use Coq from Node.js
#294 opened Sep 28, 2022 by ejgallego
ProTip! Mix and match filters to narrow down what you’re looking for.