5 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio +2
The Lax Logical Framework, LLFP, was introduced, by a team including the last two authors, to provide a conceptual framework for integrating different proof development tools, thus…