@inproceedings{f713c30ec41341f38de59278b98f0817,
title = "The boolean pythagorean triples problem in coq",
author = "Lu{\'i}s Cruz-Filipe and Joao Marques-Silva and Peter Schneider-Kamp",
year = "2017",
month = jan,
day = "1",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
pages = "47--48",
editor = "Ambrus Kaposi",
booktitle = "23rd International Conference on Types for Proofs and Programs, TYPES 2017",
note = "23rd International Conference on Types for Proofs and Programs, TYPES 2017 ; Conference date: 29-05-2017 Through 01-06-2017",
}