\keys_define:nn { logicproof }
{
line-number .int_set:N = \c@lp@line ,
line-number .default:n = 0 ,
%
nested-subproof .int_set:N = \c@lp@total@nests ,
nested-subproof .default:n = 0 ,
%
width .dim_set:N = \lg@proofwidth ,
width .default:n = \linewidth ,
%
outer-env .choices:nn = { tabular , tabularx }
{