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

[TrE]

Have you taken a look into SamIam? It has a decent GUI and might, while not being the tool that you intend to build yourself, inspire you.

[jamesf]

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