Computer ScienceMathematics
Olivier Laurent
2026.5.21JOURNAL OF AUTOMATED REASONING
Abstract
Abstract is not available.
Citation format
LAURENT, Olivier. YALLA: Yet another deep embedding of linear logic in rocq. JOURNAL OF AUTOMATED REASONING, 2026, 70(1).