Sergey Galkin's repositories
aata
Public repository for Abstact Algebra Theory and Applications
Language:TeXNOASSERTION000
aata-spanish
traducción al español de libro de algebra abstracta y aplicaciones de Thomas Judson
Language:XSLTGPL-3.0000
complex
complex
Language:TeX000
HowTo-Deploy-LaTeX-Documents
Deploy LaTeX (and Markdown) Documents as PDF (and DjVu) via GitHub and TravisCI
Language:TeXNOASSERTION000
latex-action
:octocat: GitHub Action to compile LaTeX documents
Language:ShellMIT000
mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
Language:PythonApache-2.0000
torelli
Combinatorial non-abelian Torelli theorem
Language:TeXGPL-3.0000
mdpaper
Writing Papers with Markdown
Language:TeX000
proptest
Test basati su proprietà con rapidcheck: meetup 9 Aprile 2020
CC0-1.0000
PursuingStacks
LaTeX version of Grothendieck's Pursuing Stacks
CC0-1.0000
qual
exames de qualificação nos alguns programas de pós do mundo, currículos matemáticos, etc
Language:TeX000
yulia-petrova.github.io
My personal web-page
MIT000