Login / Signup
Aymeric Bouzy
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 2
Top Topics
Proof Planning
Geometry Theorem Proving
Higher Order Logic
Intelligent Software
Top Venues
ESOP
FroCoS
</>
Publications
</>
Jasmin Christian Blanchette
,
Aymeric Bouzy
,
Andreas Lochbihler
,
Andrei Popescu
,
Dmitriy Traytel
Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants.
ESOP
(2017)
Julian Biendarra
,
Jasmin Christian Blanchette
,
Aymeric Bouzy
,
Martin Desharnais
,
Mathias Fleury
,
Johannes Hölzl
,
Ondrej Kuncar
,
Andreas Lochbihler
,
Fabian Meier
,
Lorenz Panny
,
Andrei Popescu
,
Christian Sternagel
,
René Thiemann
,
Dmitriy Traytel
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic.
FroCoS
(2017)