HEAD
  1. isabelle-client
Name
inpefess's repositories
.circleci
cicm2021paper
cicm2022paper
cicm2022talk
doc
examples
isabelle_client
unpublished-pre-print
.dockerignore
.flake8
.gitignore
.pre-commit-config.yaml
.readthedocs.yaml
CODE_OF_CONDUCT.rst
CONTRIBUTING.rst
Dockerfile
LICENSE
README.rst
local-build.sh
poetry.lock
pyproject.toml
spelling.dict