Julien Narboux
@jnarboux.bsky.social
Researcher in Computer Science, IRIF, Université Paris Cité.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
Une petite pensée pour ses proches .
August 3, 2025 at 7:03 AM
Une petite pensée pour ses proches .
According to arxiv.org/pdf/2311.03755 it seems that some LLM has learned that for producing an Isabelle formalization, one should ask to Manuel Eberl :-)
February 14, 2025 at 8:11 AM
According to arxiv.org/pdf/2311.03755 it seems that some LLM has learned that for producing an Isabelle formalization, one should ask to Manuel Eberl :-)