kim-em/mathoverflow-archive
Public repository.
Public GitHub Catalog
Discovered Sep 29, 2026
kim-em / proofs
A re-implementation of "A fully automatic problem solver with human-style output", arXiv:1309.4501
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.
#15128644GitHub System ID
kim-emOrganization / User
PublicVisibility
ActiveCatalog Status
More from kim-em
kim-em/JavaScript-Snake
The game of Snake written in JavaScript.
kim-em/SKh
Public repository.
kim-em/KhBraids
Public repository.