Turing-complete language for creating provable programs for general computation
unstable
2.11.2
نعم
لا
حر
38