Skip to content

[alethe] Update processing of ProofRule::FORALL_INST #1850

[alethe] Update processing of ProofRule::FORALL_INST

[alethe] Update processing of ProofRule::FORALL_INST #1850