Skip to content
proofirr@v1
default avatar
gabriel.hondet@inria.fr
cafc1292 · coloneq -> coloneqq · 
Published at TYPES2020

doi: 10.4230/LIPIcs.TYPES.2020.6