8000 linlib (linearlibrary) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View linlib's full-sized avatar
13 followers · 39 following

Block or report linlib

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. TheWhiteheadTheorem < 5546 /a> TheWhiteheadTheorem Public

    Proving the Whitehead theorem and two variations for Mathlib's homotopy groups.

    Lean 5

  2. summer23-homework summer23-homework Public

    Forked from CQTS/summer23-homework

    Agda 1

  3. LocalClassFieldTheory LocalClassFieldTheory Public

    Forked from mariainesdff/LocalClassFieldTheory

    Formalization of local fields, and eventually LCFT

    Lean

  4. CategoriesandHilbertSpaces CategoriesandHilbertSpaces Public

    Lean

  5. RepTheoryEPFL RepTheoryEPFL Public

    Forked from thefundamentaltheor3m/RepTheoryEPFL

    Notes (in English) for MATH-314 (Representation Theory of Finite Groups) taught at EPFL in Spring 2024. Work in progress, being written as the course progresses.

    TeX

0