silky/Haskell-Morte-Library
A bare-bones calculus-of-constructions
Public GitHub Catalog
Discovered Oct 6, 2026
silky / linear-logic
Linear logic theorem prover and proof explorer
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.
#31743444GitHub System ID
silkyOrganization / User
PublicVisibility
ActiveCatalog Status
More from silky
silky/Botworld
A cellular automaton for studying self-modifying agents which are embedded in their environment
silky/predictionbook
Find out just how sure you should be, and get better at being only as sure as the facts justify.
silky/provability
Public repository.