gwillen comments on Introducing Familiar, a quantified reasoning assistant (feedback sought!)

[gwillen]

This seems very cool; commenting to encourage you, and so I remember to come back and look at this when I have more time to think about it.