Repos by NeilStrickland

NeilStrickland / repos

36 repos

«12...4»
RepoLanguageStarsRank
NeilStrickland/linear_maths on Githublinear_mathsTeX710,213
NeilStrickland/lean_primes on Githublean_primesLean4599
NeilStrickland/lean_lib on Githublean_libLean4597
NeilStrickland/fields_and_galois_theory on Githubfields_and_galois_theoryTeX319,894
NeilStrickland/itloc on GithubitlocLean2957
NeilStrickland/knots_and_surfaces on Githubknots_and_surfacesTeX227,453
NeilStrickland/modules on GithubmodulesTeX227,452
NeilStrickland/maths_for_electrical_engineering on Githubmaths_for_electrical_engineeringTeX227,448
NeilStrickland/maple_lib on Githubmaple_libJetBrains MPS296
NeilStrickland/genus2 on Githubgenus2TeX165,711