1 citations · 1 across the 1 of their papers we have counts for
1 paper
Pierre Letouzey
This document summarizes the proofs made during a Coq development inSummer 2015. This development investigates the function G introducedby Hofstadter in his famous "G{ö}del, Escher…