Miguel Marco mmarco
  • Joined on 2020-02-27
mmarco pushed to master at mmarco/cursolean2026 2026-10-29 12:07:09 +01:00
899adc8f53 Añadidos inductivos, finitud y naturales
mmarco created branch master in mmarco/cursolean2026 2026-10-26 12:53:15 +01:00
mmarco pushed to master at mmarco/cursolean2026 2026-10-26 12:53:15 +01:00
12d608d061 Dos primeras hojas
b51a19ee04 Initial commit
mmarco created repository mmarco/cursolean2026 2026-10-26 12:52:07 +01:00
mmarco pushed to main at alarraya/Curvas 2026-09-17 14:10:27 +02:00
4de6ddea39 Correcciones menores
mmarco pushed to main at alarraya/Curvas 2026-05-25 12:19:41 +02:00
0e3cc55745 Plantear los enunciados para d=1 en términos de retracciones concretas
mmarco pushed to main at alarraya/Curvas 2026-05-25 11:48:56 +02:00
a2d54b51d3 Añadir bibliografía
mmarco pushed to main at alarraya/Curvas 2026-05-23 21:36:42 +02:00
a2f554435c Añadir abstract y retoques.
mmarco pushed to main at nbreva/AeCodimension 2024-10-18 17:01:45 +02:00
66578b89db Add a few more comments
mmarco pushed to main at nbreva/AeCodimension 2024-10-18 13:53:34 +02:00
63c506f91b Add checklist
mmarco pushed to master at mmarco/SIROCCO2 2022-12-15 11:57:19 +01:00
bddc460f0e Specify license in README.md
mmarco pushed to master at mmarco/SIROCCO2 2021-06-30 12:01:59 +02:00
06322ccac4 Version bump
dbdc52aeb3 Add functions to treat the factors of the polynomial separatedly.
Compare 2 commits »
mmarco pushed to master at mmarco/Rubio_de_francia 2021-01-18 18:20:51 +01:00
695eb049b8 Añadida imagen movimientos Tietze
mmarco pushed to master at mmarco/Rubio_de_francia 2021-01-18 17:17:37 +01:00
9c88ece5c8 Añadida vesrion castellon
mmarco pushed to master at mmarco/Rubio_de_francia 2020-10-26 19:57:14 +01:00
250a683fb4 Primera versión terminada
mmarco pushed to master at mmarco/Rubio_de_francia 2020-10-16 14:04:27 +02:00
979fd6ecdf Primer commit
mmarco created repository mmarco/Rubio_de_francia 2020-10-16 14:04:17 +02:00
mmarco pushed to main at mmarco/blender_latex 2020-10-07 19:28:46 +02:00
4781f0c4ae initial commit
mmarco created repository mmarco/blender_latex 2020-10-07 19:28:17 +02:00
mmarco pushed to master at mmarco/kenzo 2020-02-27 16:10:11 +01:00