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

Block or report sidd-gadgil

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. lean4web lean4web Public

    Forked from leanprover-community/lean4web

    Lean web editor

    TypeScript

  2. LeanAide LeanAide Public

    Forked from siddhartha-gadgil/LeanAide

    Tools based on AI for helping with Lean 4

    Lean

  3. ShellWall ShellWall Public

    Forked from EmergenceAI/ShellWall

    Verified shell and other IO operations using Lean Prover

    Lean

  4. PyAstLean PyAstLean Public

    Forked from siddhartha-gadgil/PyAstLean

    Generating Lean code from Python code via a Python Abstract Syntax Tree

    Lean

  5. liquid-template liquid-template Public

    Forked from emergenceai2/liquid-template

    Lean