Repos by ChrisHughes24

ChrisHughes24 / repos

18 repos

«12»
RepoLanguageStarsRank
ChrisHughes24/LP on GithubLPLean4544
ChrisHughes24/Sylow on GithubSylowLean3670
ChrisHughes24/leanstuff on GithubleanstuffLean11,309
ChrisHughes24/MatroidLinearProgramming on GithubMatroidLinearProgrammingLean11,102
ChrisHughes24/lean4bits on Githublean4bitsLean11,074
ChrisHughes24/leanstuff1 on Githubleanstuff1Lean0-
ChrisHughes24/type_class on Githubtype_classLean0-
ChrisHughes24/numbertheory on GithubnumbertheoryLean0-
ChrisHughes24/single_relation on Githubsingle_relationLean0-
ChrisHughes24/jordan_hoelder on Githubjordan_hoelderLean0-