content/tools/sat-smt/chyp.md

+++ title = 'Chyp' subtitle = 'Interactive Theroem Prover' links = [ { title = "Homepage", url = "https://github.com/akissinger/chyp", icon = 'fa-solid fa-home' }, { title = "Source Code", url = "https://github.com/akissinger/chyp", icon = 'fa-solid fa-code' }, ] applications = ["Theorem Prover"] developers = ["University of Oxford"] licenses = ["Apache-2.0"] inputs = ["Chyp"] interfaces = ["CLI"] maintenance = ["Actively Maintained"] draft = false date = 2025-08-21 +++

Chyp (pronounced "chip") is an interactive theorem prover for symmetric monoidal categories (SMCs), a.k.a. process theories.