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