aztek/craig-lyndon
A half-baked constructive proof of Craig-Lyndon interpolation theorem for propositional logic
Public GitHub Catalog
Discovered Sep 29, 2026
aztek / Solver.agda
A collection of simple verified SAT-solvers
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.
#16581694GitHub System ID
aztekOrganization / User
PublicVisibility
ActiveCatalog Status
More from aztek
aztek/hipspec
The inductive theorem prover for Haskell
aztek/master-thesis
Текст дипломной работы
aztek/untypedmacros-bug
Public repository.