Budge

Budge is a programming language and a theorem prover. For the former, check the pl folder. For the latter, check the tp folder.

Paper on arXiv, and the source code for the paper here.

Boro Sitnikovski, 2022