0
I Use This!
Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Apr 15, 2023 — Apr 15, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
abstract approach More... almost 14 years ago
abstract approach More... almost 14 years ago
haskell bits More... almost 14 years ago
just so it's not los More... about 14 years ago
wtf More... about 14 years ago
phew! More... about 14 years ago
sigh... N vs nat problems - here comes nothing More... about 14 years ago
fixed up sigma and iota More... about 14 years ago
lowering the difference More... about 14 years ago
sigma fail. More... about 14 years ago
sigma fail More... about 14 years ago
do binomial More... about 14 years ago
phantom hoover More... about 14 years ago
product law More... about 14 years ago
? More... about 14 years ago
not really done yet, but it\'s a good start More... about 14 years ago
incase I forget More... about 14 years ago
polynomials in one variable More... about 14 years ago
x More... about 14 years ago
forgot about tag More... about 14 years ago
split algebra More... about 14 years ago
split concrete More... about 14 years ago
updated for the new notations More... about 14 years ago
field day More... about 14 years ago
fixed up the notations More... about 14 years ago
Completed Quot(R) More... about 14 years ago
The beginnings of some instances More... about 14 years ago
left cancellation on integral domains! More... about 14 years ago
A couple of ring theorems More... about 14 years ago
A bit of group theory More... about 14 years ago