Given the focus on static verification of contracts and orthogonality, surely th...

		3836293648 44 days ago \| parent \| context \| favorite \| on: Vera – A language designed for machines to write Given the focus on static verification of contracts and orthogonality, surely the division operator also has one.