theoretical computer scientist & functional programmer | into interactive theorem proving, automated planning and haskell | she/her

ID: 1297864054359326720

calendar_today24-08-2020 11:52:19