Enregistré dans:
Détails bibliographiques
Auteurs principaux: Gross, Jason, Zimmermann, Théo, Agrawal, Rajashree, Chlipala, Adam
Format: Preprint
Publié: 2022
Sujets:
Accès en ligne:https://arxiv.org/abs/2202.13823
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!