activity
19952026
most citedA Large Hadron Electron Collider at CERN: Report on the Physics and Design Concepts for Machine and Detector

636 citations · 3.7k across the 99 of their papers we have counts for

collaborators
Showing 2012 · cs.LOShow all

1 paper · 2 filters

cs.LO2012★ 31 cited

A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen +1

The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm is…