Skip to content
View paivan1999's full-sized avatar

Block or report paivan1999

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
paivan1999/README.md

Hi there 👋

Popular repositories Loading

  1. Scheme Scheme Public

    реализация языка scheme на c++

    C++ 1

  2. Raytracer Raytracer Public

    реализация трассировщика лучей на c++

    C++ 1

  3. paivan1999 paivan1999 Public

  4. Formalising-mathematics-in-Lean-theorem-prover Formalising-mathematics-in-Lean-theorem-prover Public

    формализация условия миттаг лефлёра и p-адических чисел на языке Lean

    Lean

  5. FlexiblePerceptron FlexiblePerceptron Public

    Гибко настраиваемый, изменяемый и вычисляемый классический перцептрон

    Kotlin

  6. freegroup freegroup Public

    Forked from ml-in-algebraic-topology/freegroup

    Tiny library for working with Free Group words

    Python