Kernels How to use GoedelMachines/dg-w4-kernels with Kernels:
# !pip install kernels
from kernels import get_kernel
# a version (or an explicit revision) is required; see the "Files and versions" tab for the available ones
kernel = get_kernel("GoedelMachines/dg-w4-kernels", version=1) 
