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

[jamesf]

Just reading its documentation has been very helpful so far. Thank you!