Experiment to use typescript's type system for theorem proving
Repository from Github https://github.comphenax/ts-theorem-provinatorRepository from Github https://github.comphenax/ts-theorem-provinator