peycuantico / gitcuantico
☆13Updated last month
Alternatives and similar repositories for gitcuantico
Users that are interested in gitcuantico are comparing it to the libraries listed below
Sorting:
- 2022 - Repositorio de drives. Los drives contienen finales y parciales resueltos, apuntes, etc. Fisica 1 FIUBA☆10Updated last year
- This is the official repository of the Ars Mathematica Project☆70Updated 3 months ago
- 2022 - Repositorio de drives y clases grabadas. Los drives contienen resueltos, apuntes, etc. Analisis Matemático 2 FIUBA☆34Updated 11 months ago
- Este es el repositorio de la Tercera Escuela de Cómputo Cuántico.☆43Updated 9 months ago
- Material de Algebra I - Ciencias de la Computación, FCEN, UBA☆59Updated 4 months ago
- Final Snapshot Of God's Fourth Temple☆13Updated 3 years ago
- Apunte único de álgebra 1 de EXACTAS UBA en LaTeX, hecha por alumnos y exalumnos de álgebra I☆72Updated this week
- A project to digitalise results from physics into Lean.☆234Updated this week
- 2022 - Repositorio con drives, exámenes resueltos y clases grabadas de algebra. Los drives contienen parciales y finales resueltos, apunt…☆26Updated last year
- ☆90Updated 6 years ago
- amateur translation project of Grothendieck's EGA.☆346Updated 7 months ago
- Material de Algoritmos y Estructuras de datos I - Ciencias de la Computación, FCEN, UBA☆9Updated 2 years ago
- Intérprete de MessiScript, un lenguaje de programación esotérico en el que cada código es una jugada de Messi.☆243Updated 9 months ago
- The collected works of F. W. Lawvere☆353Updated 8 months ago
- Repositorio para el proyecto PAPIME 2019-12/12-1820☆21Updated 3 years ago
- Ejercicios resuletos por estudiantes de la materia de Alogritmos y Estructuras de Datos 1 / Intro. a la programación de la UBA FCEN☆20Updated last year
- ☆82Updated 5 months ago
- En esta carpeta encontrarás soluciones a diversos ejercicios que se muestras en los videos.☆18Updated 3 years ago
- Repositorio de la optativa para la FCEIA☆16Updated last month
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆54Updated 5 months ago
- Source code for the nLab☆174Updated 2 months ago
- ☆25Updated last year
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆415Updated last month
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆211Updated 2 months ago
- ☆237Updated 9 months ago
- ☆58Updated last year
- LaTeX labels in Mathematica☆392Updated last year
- The user home repository for the Mathematics in Lean tutorial.☆335Updated last week
- Curso de Python para estudiantes de grado de Matemáticas y/o Estadística☆18Updated last year