Sitnikovski, B. . (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