Repos by ChrisHughes24

ChrisHughes24 / repos

18 repos

«12»
RepoLanguageStarsRank
ChrisHughes24/LP on GithubLPLean4545
ChrisHughes24/Sylow on GithubSylowLean3677
ChrisHughes24/leanstuff on GithubleanstuffLean11,317
ChrisHughes24/MatroidLinearProgramming on GithubMatroidLinearProgrammingLean11,111
ChrisHughes24/lean4bits on Githublean4bitsLean11,083
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-