Skip to content
@faenuccio-teaching

faenuccio-teaching

Popular repositories Loading

  1. M2Lyon2425 M2Lyon2425 Public

    This is the repository for the Lean master program in Lyon for 2024-25

    Lean 9 3

  2. Beijing_Jun26 Beijing_Jun26 Public

    Repository for the Lean Course at the Academy of Mathematics and Systems Sciences (Beijing, China), June 2026

    HTML 9 1

  3. M1_ENS_26 M1_ENS_26 Public

    This is the repository for the Master course "Formalisation Mathématique" ENS-Paris in Spring 2026

    HTML 2 13

  4. GradCourse26 GradCourse26 Public

    HTML 1 2

  5. May22_Vilnius May22_Vilnius Public

    Lean

  6. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4

    Lean

Repositories

Showing 6 of 6 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…