Darij Grinberg's repositories
algebra19s
UMN Spring 2019 Math 4281 notes: Introduction to Modern Algebra
etingof-lie
Lecture notes from Pavel Etingof's class on infinite-dimensional Lie algebras
sage-subspace
Subspaces in Sage
aimo2022-bh1
AIMO 2022 Bad Homburg I: Notizen zur Geometrie
TR-TT-Andothren-rvw
quest review for Tamriel Rebuilt
000
Coq-Combi
Algebraic Combinatorics in Coq
Language:CoqGPL-3.0000
coq-proofs
Various proofs in Coq. Contains the proof of quadratic reciprocity and of Baire theorem.
Language:CoqMIT000
doubleposets
Double posets and the antipode of QSym
publications
Generate the publication pages listing documents citing Sage
Language:TeX000
rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
Language:PythonGPL-3.0000
stacks-project
Repository for the Stacks Project
zeckendorf
Zeckendorf family identities generalized