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.
No videos yet.