# Theorem prover in ts types
Experiment to use typescript's type system for theorem proving