×
You are not logged in
Bluesky Profile
Julien Narboux
Registered: 17 Jan 2025 16:57
Last post: n/a
Researcher in Computer Science, IRIF, Université Paris Cité.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
This account allows followers on Bluesky to be notified of new posts from this account.
| jnarboux.bsky.social PDS: mottlegill.us-west.host.bsky.network 2025-01-17 16:57:23 |