Skip to content
@group-study-group

group-study-group

  • London

Popular repositories Loading

  1. herstein herstein Public

    notes for Herstein's Topics in Algebra, written in Lean

    Lean

Repositories

Showing 1 of 1 repositories
  • herstein Public

    notes for Herstein's Topics in Algebra, written in Lean

    group-study-group/herstein’s past year of commit activity
    Lean 0 0 0 0 Updated Jan 31, 2019

Top languages

Loading…

Most used topics

Loading…