1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Phil Scott, Steven Obua, Jacques Fleuriot
Suppose we have been sold on the idea that formalised proofs in an LCF system should resemble their written counterparts, and so consist of formulas that only provide signposts for…