Revision history for entry Fitelson, Branden (manuscript). "Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus" [FITVTX]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes