Filtrer vos résultats
- 16
- 1
- 11
- 2
- 1
- 1
- 1
- 1
- 17
- 1
- 2
- 4
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 15
- 2
- 14
- 14
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
17 résultats
|
|
|
triés par
|
|
|
Thesis abstract: “Design and development of a tool based on Coq to write and format mathematical proofs”Workshop and Work in Progress Papers at CICM 2016, 2016
Autre publication scientifique
hal-03914544v1
|
||
|
|
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq13th International Conference on Interactive Theorem Proving (ITP 2022), Aug 2022, Haifa, Israel. pp.18:1--18:18, ⟨10.4230/LIPIcs.ITP.2022.18⟩
Communication dans un congrès
hal-03586813v2
|
||
|
|
Challenges in the collaborative evolution of a proof language and its ecosystemSoftware Engineering [cs.SE]. Université Paris Cité, 2019. English. ⟨NNT : 2019UNIP7163⟩
Thèse
tel-02451322v1
|
||
CrowdsourcingMarie Cornu, Fabienne Orsi, Judith Rochfeld. Dictionnaire des biens communs, PUF Quadrige, pp.333-336, 2017, 978-2130654117
Chapitre d'ouvrage
hal-03914562v1
|
|||
|
|
A grounded theory of Community Package Maintenance Organizations-Registered ReportICSME 2021 - 37th International Conference on Software Maintenance and Evolution, Sep 2021, Luxembourg City / Virtual, Luxembourg
Communication dans un congrès
hal-03320556v1
|
||
|
|
Reliably Reproducing Machine-Checked Proofs with the Coq PlatformRRRR 2022 - Workshop on Reproducibility and Replication of Research Results, Apr 2022, Munich, Germany
Communication dans un congrès
hal-03592675v2
|
||
|
|
Coq's Prolog and application to defining semi-automatic tacticsType Theory Based Tools, Jan 2017, Paris, France
Communication dans un congrès
hal-01671994v1
|
||
|
|
Impact of switching bug trackers: a case study on a medium-sized open source projectICSME 2019 - International Conference on Software Maintenance and Evolution, Sep 2019, Cleveland, United States
Communication dans un congrès
hal-01951176v3
|
||
|
|
A grounded theory of Community Package Maintenance OrganizationsEmpirical Software Engineering, 2023, 28 (4), pp.101. ⟨10.1007/s10664-023-10337-4⟩
Article dans une revue
hal-03976601v1
|
||
|
|
The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience ReportIEEE Software, 2022, pp.2-7. ⟨10.1109/MS.2022.3179773⟩
Article dans une revue
hal-03479327v2
|
||
|
|
Hydras & Co.: Formalized mathematics in Coq for inspiration and entertainmentJournées Francophones des Langages Applicatifs: JFLA 2022, Jun 2022, St-Médard d'Excideuil, France
Communication dans un congrès
hal-03404668v2
|
||
|
|
Challenges in the collaborative development of a complex mathematical software and its ecosystemOpenSym 2018 - 14th International Symposium on Open Collaboration, Aug 2018, Paris, France. ⟨10.1145/3233391.3233966⟩
Communication dans un congrès
hal-01951322v1
|
||
|
|
Défis dans le développement collaboratif et ouvert de l'assistant de preuve Coq et de son écosystèmeGDR PL -Onzièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2019, Toulouse, France
Poster de conférence
hal-03914570v1
|
||
|
|
A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packagesSoHeal 2020 - 3rd International Workshop on Software Health, May 2020, Seoul / Virtual, South Korea. ⟨10.1145/3387940.3392209⟩
Communication dans un congrès
hal-02534965v2
|
||
|
|
Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof AssistantConference on Intelligent Computer Mathematics, 2015, Washington, D.C., United States
Communication dans un congrès
hal-01152588v4
|
||
|
|
Reproducibility of Build Environments through Space and Time46th International Conference on Software Engineering (ICSE 2024) - New Ideas and Emerging Results (NIER) Track, Apr 2024, Lisbonne, Portugal
Communication dans un congrès
hal-04430009v1
|
||
|
|
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩
Communication dans un congrès
hal-04098856v2
|