Skip to content
View PrParadoxy's full-sized avatar
1 follower · 0 following

Organizations

@QuCompLean

Block or report PrParadoxy

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

Pinned Loading

  1. Covid19-Classification Covid19-Classification Public

    Classification of Covid-19 from X-Ray Images

    Jupyter Notebook

  2. Fourier-Split-Step Fourier-Split-Step Public

    A simple function for solving nonlinear fractional Schrödinger equation in 1 and 2 dimensions.

    MATLAB

  3. HyperNat HyperNat Public

    Hypernatural Numbers in Lean 4 (With the proof of Łoś's Theorem)

    Lean

  4. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    A fork for development and contribution to Mathlib4

    Lean

  5. PPO-vs-stock-market PPO-vs-stock-market Public

    A simple PPO model for testing random walk hypothesis (DeepLearning)

    Python

  6. Qiskit-Ising-Model Qiskit-Ising-Model Public

    Testing Ising model on IBM quantum computers

    Jupyter Notebook