Skip to content
@alpha-squared-labs

Alpha Squared Labs

Popular repositories Loading

  1. Lean-Atiyah-Singer Lean-Atiyah-Singer Public

    Lean formalization of the Atiyah–Singer index theorem

    Lean 15 4

Repositories

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