minopret/correctness
Extracting programs from proofs of their defining properties.
Public GitHub Catalog
Discovered Sep 27, 2026
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."
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.
#10599351GitHub System ID
minopretOrganization / User
PublicVisibility
ActiveCatalog Status
More from minopret
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.
minopret/sunpos
Compute the position of the sun in the sky at a particular time and place on Earth.