minopret/correctness
Extracting programs from proofs of their defining properties.
Public GitHub Catalog
Discovered Sep 24, 2026
minopret / number_systems
Fun with number systems: If 38 is "123" in base 5 (that is, one 25, two 5's, and three 1's), then what is pi in base e?
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.
#2332335GitHub System ID
minopretOrganization / User
PublicVisibility
ActiveCatalog Status
More from minopret
minopret/proof
Determine whether it's a correct proof when someone claims, for example, "All men are mortal. Socrates is a man. By 'universal instantiation' and 'modus ponens', Socrates is mortal."
minopret/subminbas
Syntax checker for a subset of the ANSI Minimal BASIC programming language.
minopret/topdown
Upon reading a sentence or phrase (example: "the dog"), figure out how its words might relate to each other.