jan-revay

C++ developer and mathematician, also into Rust, Python, and Isabelle.

Pinned Repositories

jan-revay's Repositories