Building the Westminster Proof-Text Dataset
A whole-system reconstruction cannot be run from anecdotes. It requires a versioned ledger linking atomic Westminster propositions to every proof passage, textual event, translation choice, premise, control result,…
Open record →