Giters
KWARC
/
gf_kernel
A Jupyter Kernel for GF
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
6
Watchers:
10
Issues:
5
Forks:
2
KWARC/gf_kernel Issues
Having issue with specific symbols
Updated
a year ago
Comments count
29
Connection to the notebook server could not be established
Updated
a year ago
Comments count
16
TypeError: GFKernel.set_parent() got an unexpected keyword argument 'channel'
Closed
a year ago
pip install
Updated
4 years ago
Comments count
6
Problems exporting abstract grammar
Closed
5 years ago
Comments count
1