Giters
smimram
/
fibred-polynomials
Formalizing polynomials in groupoids.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
7
Watchers:
5
Issues:
0
Forks:
1
smimram/fibred-polynomials Stargazers
Ali Caglayan
Alizter
bond15
april
cyberglot
Nikita
nikitavoloboev
Tim Kersey
tkersey
Vikraman Choudhury
vikraman
Warren D Hatton
wrrnhttn