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

[jamesf]

I’m researching that right now. Recommendations are welcome.