antikceo/ATP
Automated Theorem Proving in Lisp
Public GitHub Catalog
Discovered Oct 2, 2026
antikceo / Manual
Bloomberg Beta's operating manual -- the same document we use to run our team -- open to any for comments and proposed changes.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#24732518GitHub System ID
antikceoOrganization / User
PublicVisibility
ActiveCatalog Status
More from antikceo
antikceo/Feastbox
Recipe discovery service
antikceo/The-Kindness-Pledge
Django-based crowdkindness platform
antikceo/blabnotes
Web-based speech transcription application built with Google speech API