avatar

péret

@peret@mathstodon.xyz

Joined: 12/02/2022

8

Followers

29

Following
ProfileTrailsStatistics

About péret

Programming Languages and Type Theory enthusiast.

Lists

peret has no public lists

Timeline

peret has no activity yet