Julien Narboux

@jnarboux.bsky.social

78 Followers 138 Following

Researcher in Computer Science, IRIF, Université Paris Cité. Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.

Photo des couvertures des livres de Gilles Dowek

Screenshot of the appendix of https://arxiv.org/pdf/2311.03755 showing Coq generated by an LLM