475 followers
RT @maradydd: @AlainODea we can have soundness and completeness for things that are only so expressive, e.g. https://t.co/tPYMmkCCew
RT @maradydd: @AlainODea we can have soundness and completeness for things that are only so expressive, e.g. https://t.co/tPYMmkCCew