#
gap
Here are 3 public repositories matching this topic...
An Interactive Discrete Mathematics Framework for GAP
javascript graphviz binder jupyter notebook gap visjs graphviz-dot jupyter-notebook-extension francy jupyterlab-extension graphics-semantics jupyter-gap-kernel d3v7
-
Updated
Oct 1, 2026 - Jupyter Notebook
Proof of Kourovka Notebook Problem 10.34: manuscript, formal developments, GAP certificates, and reproducibility materials
reproducible-research gap lean group-theory formal-verification finite-groups rocq kourovka-notebook
-
Updated
Sep 2, 2026 - Python
Add this topic to your repo
To associate your repository with the gap topic, visit your repo's landing page and select "manage topics."