Skip to content
View FawadHa1der's full-sized avatar
24 followers · 40 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Starstruck

Block or report FawadHa1der

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. 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. leanui leanui Public

    Web user interfaces written in Lean 4, compiled to WebAssembly (Memory64), with a native Lean server for SSR

    Lean 5 1

  2. QED64 QED64 Public

    complete client side lean4 proof editing/generation and verification with mathlib in wasm64/memory64

    TypeScript 5 1

  3. evm_proof_checker evm_proof_checker Public

    Lean proof kernel in solidity

    Solidity 3

  4. lean-widgets lean-widgets Public

    Interactive (and non interactive) widgets for the Lean4

    HTML 1

  5. lean4game lean4game Public

    Forked from leanprover-community/lean4game

    Lean games in WASM64

    TypeScript 1

  6. lean4lean-to-rocq-hol lean4lean-to-rocq-hol Public

    Lean4Lean ports to Rocq and HOL Light

    OCaml