airlang (cargo): The Air Programming Language
Keywords: logic|language|specification|air|formal|artificial-intelligence|formal-specification|logic-programming|logical-programming|programming-language|programming-languages|proof-of-concept|specification-language