FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Affeldt, Reynald	Classical Analysis with Coq (PDF, talk)
B
Blaauwbroek, Lasse	Proof Construction by Tactic Learning (PDF, talk)
Boulmé, Sylvain	What is the Foreign Function Interface of the Coq Programming Language? (PDF, talk)
C
Cohen, Cyril	Classical Analysis with Coq (PDF, talk)
G
Gross, Jason	Teaching Your Rooster to Crow in C (PDF, talk)
Guéneau, Armaël	Procrastination, A proof engineering technique (PDF, talk)
I
Ikebuchi, Mirai	ComplCoq: Rewrite Hint Construction with Completion Procedures (PDF, talk)
L
Laurent, Olivier	Preliminary Report on the Yalla Library (PDF, talk)
M
Mahboubi, Assia	Classical Analysis with Coq (PDF, talk)
Mangin, Cyprien	Towards a formalization of the guard condition (PDF, talk)
N
Nakano, Keisuke	ComplCoq: Rewrite Hint Construction with Completion Procedures (PDF, talk)
R
Rouhling, Damien	Classical Analysis with Coq (PDF, talk)
S
Sozeau, Matthieu	Towards a formalization of the guard condition (PDF, talk)
Strub, Pierre-Yves	Classical Analysis with Coq (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program