cpp26 a lambda superposition tactic for isabellehol

Name: cpp26 a lambda superposition tactic for isabellehol
Uploaded: Jan 27, 2026
Description: cpp26 a lambda superposition tactic for isabellehol