tranny demon hacker on Nostr: I think tableaux are actually probably a really good way to approach a particular set ...

I think tableaux are actually probably a really good way to approach a particular set of complex hypotheses and how to break them down into atomic hypotheses, but we still need a way to use feedback from the user to add in new propositions, and to re-rank things