zlacker

Sort of except that it also tracks truth propagation - one person disagreeing would inform others that portion of the graph is contested. So the graph has behavior. And, the links have logical meaning, beyond just "is related to" - it respects boolean logic.

You can see some of the explanation at http://concludia.org/instructions .

>>tunesm+(OP)
> it respects boolean logic.

Intuitionist or classical?

>>coucha+92
Intuitionist. Truth is provability; the propagation model is basically digital logic. If you mark a premise to a conclusion false, the conclusion is then marked "false" but it really just means "it is false that it is proven"; vitiated. Might still be true, just needs further work.

>>tunesm+(OP)
You would need a highly disciplined and motivated set of people in the team. I have been on courses where teams do this on pen/paper and it is a real skill and it is all you do for days. Forget anything else like programming, finishing work, etc.

>>quickt+bo
I'd be stoked if you wrote more about this experience and shared it somewhere.