This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Paul-André Melliès
@pamellies@mathstodon.xyz
Joined: 10/25/2024
About Paul-André Melliès
Logician and computer scientist at work
Mathematical logic, proof theory, game semantics, theory and practice of programming languages, computer architecture, formalized mathematics, proof assistants, mathematical physics, knot theory, quantum groups, n-dimensional algebra, operads.
Lists
pamellies has no public lists
Timeline
pamellies has no activity yet