last_order_logic (cargo): An experimental logical language
Keywords: logic|lol|proving|advancedresearch|theorem