Skip to content
View MFarhaanmath's full-sized avatar
2 followers · 12 following
  • OmerCo Research Group
  • bengaluru

Block or report MFarhaanmath

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. F-star-ggml-library F-star-ggml-library Public

    This is the autoformalized library ggml for Machine Learning

    C

  2. LeanLangur LeanLangur Public

    Forked from siddhartha-gadgil/LeanLangur

    Expositions and demos for Lean Prover

    Lean

  3. NaveenMaurya749/VerifiedVersionControl NaveenMaurya749/VerifiedVersionControl Public

    A repository for participation in the LeanLang for Autonomy Hackathon held from April 17 to May 01, 2026 at Indian Institute of Science, organised by Emergence AI.

    Lean 2