Skip to content
@lambda-iitgn

,\ AMBDA.

The Ultimate Programming Languages Club.

Popular repositories Loading

  1. lsp-2025 lsp-2025 Public

  2. sf-lean sf-lean Public

  3. phys-lambda phys-lambda Public

  4. hax hax Public

    Forked from cryspen/hax

    A Rust verification tool

    OCaml

  5. cslib cslib Public

    Forked from leanprover/cslib

    A Lean library for Computer Science

    Lean

  6. lambda-iitgn.github.io lambda-iitgn.github.io Public

    Our website.

    CSS

Repositories

Showing 7 of 7 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…