Sitnikovski, Boro. 2023. “BUDGE: A PROGRAMMING LANGUAGE AND A THEOREM PROVER”. CENTRAL ASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES 4 (4):41-45. https://doi.org/10.17605/OSF.IO/X7654.