@lyxia@mamot.fr
Joined: 12/20/2019
225
Followers
100
Following
Haskell and Coq programmer
lyxia has no public lists
lyxia has no activity yet
