lrsjohnson/upptackt
MIT M.Eng: Automated Elementary Geometry Theorem Discovery via Inductive Diagram Manipulation
Public GitHub Catalog
Discovered Oct 3, 2026
lrsjohnson / tupp
Experiments relating to Coq / Software Foundations
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.
#26385097GitHub System ID
lrsjohnsonOrganization / User
PublicVisibility
ActiveCatalog Status
More from lrsjohnson
lrsjohnson/simrooming
Web Interface for Simmons Rooming Lottery
lrsjohnson/directory
Interactive cross sectional map of Simmons Hall with resident search.
lrsjohnson/simadmin
A Simple Web Admin Tool