3me3 (3me3) · GitHub
Skip to content
View 3me3's full-sized avatar
0 followers · 1 following
  • QPell Labs
  • Amsterdam
  • 16:03 (UTC -12:00)

Block or report 3me3

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. preact-netlify preact-netlify Public

    JavaScript

  2. collatz-conjecture-proof collatz-conjecture-proof Public

    Formal proof of the Collatz Conjecture using cycle elimination, Lyapunov decay, and bounded stopping time

    HTML

  3. code-file code-file Public

    <code-file> stores the code on the page

    JavaScript

  4. pta_test pta_test Public

    Python

  5. tpf tpf Public

    Formally verified finite torsion kernel. Lean 4. No imports.

    Lean