Hi there, I'm Anton π Computer Science student I'm intersted in Formal Methods Haskell Rust How to reach me: Telegram @ookamias E-mail SobolewAnt@gmail.com