17 citations · 20 across the 7 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
physics.ins-det2022
ATHENA Detector Proposal -- A Totally Hermetic Electron Nucleus Apparatus proposed for IP6 at the Electron-Ion Collider
ATHENA Collaboration, J. Adam, L. Adamczyk +433
ATHENA has been designed as a general purpose detector capable of delivering the full scientific scope of the Electron-Ion Collider. Careful technology choices provide fine trackin…
cs.LO2022
Reliably Reproducing Machine-Checked Proofs with the Coq Platform
Karl Palmskog, Enrico Tassi, Théo Zimmermann
The Coq Platform is a continuously developed distribution of the Coq proof assistant together with commonly used libraries, plugins, and external tools useful in Coq-based formal v…