sebasguts/LogicForCategories
List of propositions for Categories
Public GitHub Catalog
Discovered Sep 28, 2026
sebasguts / PackageMaker
A simple GAP script for creating a GAP package skeletong
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#12334372GitHub System ID
sebasgutsOrganization / User
PublicVisibility
ActiveCatalog Status
More from sebasguts
sebasguts/ModulePresentationsForHomalg
Presentation for modules
sebasguts/NormalizInterface
A package for using normaliz from within GAP
sebasguts/PagesTest
Test for gh pages