Skip to content
View Danelnov's full-sized avatar
11 followers · 11 following
  • Colombia

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report Danelnov

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Pinned Loading

  1. Lambda-Calculus-Formalization Lambda-Calculus-Formalization Public

    This formalization uses the De Bruijn indices, the objective is to formalize the Church-Rosser theorem

    Lean 5

  2. weak-nullstellensatz weak-nullstellensatz Public

    Lean

  3. locally-nameless-formalization locally-nameless-formalization Public archive

    Lean

  4. langton-ants langton-ants Public

    Langton's ant algorithm written in python with pygame

    Python 1

  5. Riordinato Riordinato Public

    Organize your files with prefixes

    Python 1