Repos by ChrisHughes24

ChrisHughes24 / repos

18 repos

«12»
RepoLanguageStarsRank
ChrisHughes24/lean4stuff on Githublean4stuffLean0-
ChrisHughes24/categories on GithubcategoriesLean0-
ChrisHughes24/bits on GithubbitsLean0-
ChrisHughes24/coq-and-lean-playground on Githubcoq-and-lean-playgroundLean0-
ChrisHughes24/UMP_notes on GithubUMP_notesTeX0-
ChrisHughes24/lean3bits on Githublean3bitsLean0-
ChrisHughes24/bitspaper on GithubbitspaperTeX0-
ChrisHughes24/lean4stats on Githublean4statsLean0-