Giters
EugeneLoy
/
coq_jupyter
Jupyter kernel for Coq
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
90
Watchers:
4
Issues:
47
Forks:
7
EugeneLoy/coq_jupyter Issues
coqidetop.opt returned non-zero exit status 2
Updated
8 months ago
Comments count
8
Curious, why did you not use coq serapi by Emilio?
Updated
a year ago
Comments count
1
test
Closed
a year ago
Coq Community Survey 2022 feedback
Updated
2 years ago
Add Uninstall Steps to README.md
Closed
2 years ago
Comments count
1
Update ci
Closed
2 years ago
Comments count
1
Add option to specify coqtop executable
Closed
2 years ago
Comments count
1
Coq 8.15
Closed
2 years ago
Comments count
2
Add a screenshot or animation
Updated
2 years ago
Comments count
1
Deprecate Python 2 support
Closed
2 years ago
Comments count
2
Add windows support
Updated
4 years ago
Comments count
4
Unnecessary focusing triggers incorrect display on "No more subgoals".
Closed
4 years ago
Comments count
5
Print differently when some unfocused goals remain.
Closed
4 years ago
Comments count
3
Incorrect sentence splitting
Closed
4 years ago
Comments count
4
Improve support for JupyterLab
Updated
5 years ago
Comments count
2
Enforce cell evaluation order
Updated
5 years ago
Implement partial rollbacks
Updated
5 years ago
Automatic rollback
Closed
5 years ago
Comments count
16
Add browsable cell evaluation history
Updated
5 years ago
Output correct state labels
Closed
5 years ago
Comments count
5
Update\test readme
Closed
5 years ago
Kernel in Cocalc doesn't display the Rollback button
Closed
5 years ago
Comments count
4
Fix failing tests on newer versions of tornado
Updated
5 years ago
Improve code highlighting (CodeMirror mode)
Updated
5 years ago
Comments count
1
Add highlighting to cell outputs
Updated
5 years ago
Use ide xml protocol
Closed
5 years ago
Comments count
1
Display all information from coqtop prompt
Closed
5 years ago
Comments count
1
Fix kernel hang
Closed
5 years ago
Comments count
1
Filter out useless "dependent evars : printing disabled" message.
Closed
5 years ago
Ensure correct handling of kernel\coqtop lifecycle
Closed
5 years ago
Handle "Quit." gracefully.
Closed
5 years ago
Rework kernel error handling
Closed
5 years ago
Improve handling warning outputs
Closed
5 years ago
Investigate and fix unicode decode error.
Closed
5 years ago
Comments count
2
Add ability to supply extra args to coqtop
Closed
5 years ago
Add rollback shortcut
Closed
5 years ago
Add convenient backtracking
Closed
5 years ago
Comments count
1
Add testing over multiple coqtop versions to CI
Closed
5 years ago
Add syntax highlight
Closed
5 years ago
Comments count
3
Ensure commands spanning multiple cells does not cause problems
Closed
5 years ago
Comments count
1
Use "Set Silent"
Closed
5 years ago
Comments count
1
Use coqtop with -emacs switch
Closed
5 years ago
Publish on PyPI
Closed
5 years ago
Add binder examples
Closed
5 years ago
Add CI
Closed
5 years ago
Add license
Closed
5 years ago
Package
Closed
5 years ago