Ekdohibs/coq-proofs
Various proofs in Coq. Contains the proof of quadratic reciprocity and of Baire theorem.
Public GitHub Catalog
Discovered Oct 1, 2026
Ekdohibs / bees
Adds bees and hives to minetest
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.
#21418978GitHub System ID
EkdohibsOrganization / User
PublicVisibility
ActiveCatalog Status
More from Ekdohibs
Ekdohibs/noisegrid
Public repository.
Ekdohibs/technic_tutorial
Public repository.
Ekdohibs/microblocks
Public repository.