Gleb Krasilich

HSE University Alumnus (Mathematics MSc '23 and BSc '21). Mathematical Logic, Type Theory, and Computer Science.

Results 1 repositories owned by


                                            Gleb Krasilich

Stars

Forks

Watchers

A lightweight read-only git library written entirely in .NET