![@led@mastodon.social cover](https://kbin.pithyphrase.net/media/cache/resolve/user_cover/f2/6d/f26d1c3ca5909a5d7bbbc8df8bf8a46eea0b29c1b423c3f520b3b0158bd16bb8.jpg)
mathematician interested in logic programming, functional programming, cycling and skate skiing.
https://lamyde.me
This profile is from a federated server and may be incomplete. View on remote instance
mathematician interested in logic programming, functional programming, cycling and skate skiing.
https://lamyde.me
This profile is from a federated server and may be incomplete. View on remote instance