machine-intelligence/Botworld.HOL
An implementation of Botworld in Higher Order Logic
Public GitHub Catalog
Discovered Oct 1, 2026
machine-intelligence / predictionbook
Find out just how sure you should be, and get better at being only as sure as the facts justify.
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.
#21864446GitHub System ID
machine-intelligenceOrganization / User
PublicVisibility
ActiveCatalog Status
More from machine-intelligence
machine-intelligence/Botworld
A cellular automaton for studying self-modifying agents which are embedded in their environment
machine-intelligence/provability
Public repository.