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
Budge - a programming language and a theorem prover
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
Budge - a programming language and a theorem prover