mmasdeu
Follow
Highlights
- Pro
-
arxiv-email Public
Forked from tbrazel/arxiv-emailA bot that sends HTML-formatted daily arXiV emails
Python UpdatedAug 5, 2025 -
darmonpoints Public
Sage package to compute Darmon points
-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedJul 7, 2025 -
final-math-bsc-thesis Public
Forked from joarca01/final-math-bsc-thesisAutomatically produce elementary proofs of the infinitude of primes in arithmetic progressions
Python UpdatedJul 5, 2025 -
-
-
moodle_nbgrader Public
Forked from johnhw/moodle_nbgraderBasic scripts for Moodle integration with nbgrader, adapted to Universitat Autònoma de Barcelona - UAB
Python MIT License UpdatedDec 20, 2024 -
materials_eines Public
Materials per l'assignatura Eines Informàtiques per les Matemàtiques
Shell UpdatedDec 10, 2024 -
modularforms Public
Notes for Modular Forms (part of Advanced Number Theory, Master of Advanced Mathematics UAB/UB)
-
modularforms_archive Public archive
Notes on a first course on modular forms
-
-
-
-
pindolafme Public
Lean files for talk at FME (UPC) on using Lean in teaching
Lean UpdatedApr 24, 2024 -
verbose-lean4 Public
Forked from PatrickMassot/verbose-lean4Natural language tactics to teach mathematics using Lean 4
Lean Apache License 2.0 UpdatedApr 22, 2024 -
lean4game Public
Forked from leanprover-community/lean4gameServer to host lean games, UAB customizations
TypeScript GNU General Public License v3.0 UpdatedApr 9, 2024 -
sage_binary Public
Binary files for Sagemath
Xonsh GNU General Public License v3.0 UpdatedMar 14, 2024 -
staged-recipes Public
Forked from conda-forge/staged-recipesA place to submit conda recipes before they become fully fledged conda-forge feedstocks
Python BSD 3-Clause "New" or "Revised" License UpdatedJan 31, 2024 -
sage_sample_new Public
Forked from echemdb/svgdigitizerA sage project template
Xonsh GNU General Public License v3.0 UpdatedJan 31, 2024 -
-
lean4-tactics Public
Forked from madvorak/lean4-tacticsOverview of tactics in Lean 4 for beginners — longer version
-
-
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedNov 29, 2023 -
-
lean4-cheatsheet Public
Forked from madvorak/lean4-cheatsheetPrintable (A4) overview of tactics in Lean 4 for beginners
TeX The Unlicense UpdatedOct 6, 2023 -
teoriadegalois Public
Apunts pel curs Teoria de Galois a la UAB
JavaScript Other UpdatedSep 29, 2023 -
slideslftcm2023 Public
Slides for talks at Lean for the Curious Mathematician 2023
JavaScript MIT License UpdatedSep 3, 2023 -
-