jaopredo / holy-emapian-scriptureLinks
Notes/Psets/Recaps and useful student-made material for EMAp's students
☆13Updated this week
Alternatives and similar repositories for holy-emapian-scripture
Users that are interested in holy-emapian-scripture are comparing it to the libraries listed below
Sorting:
- Material de apoio ao curso de Estrutura de Dados da EMAp-FGV☆27Updated 4 months ago
- ☆22Updated last week
- Curso de introdução à computação☆41Updated 4 months ago
- Resources for Statistical Modelling ("Modelagem Estatística").☆66Updated 3 months ago
- The math library of Lean 4☆2,438Updated this week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆718Updated this week
- Repositório de resumos do curso de Matemática Aplicada da FGV-EMAP☆33Updated 2 years ago
- A Lean companion to Analysis I☆1,230Updated last week
- Resumos das UCs de LEIC-A do IST☆59Updated last month
- Lean 4 programming language and theorem prover☆6,574Updated this week
- An Infinitely Large Napkin☆1,715Updated 2 weeks ago
- Code for the manim-generated scenes used in 3blue1brown videos☆9,866Updated 5 months ago
- ☆14Updated 2 years ago
- LLMs as Copilots for Theorem Proving in Lean☆1,168Updated last month
- The user home repository for the Mathematics in Lean tutorial.☆421Updated 2 months ago
- Server to host lean games.☆329Updated this week
- A project to digitalise results from physics into Lean.☆364Updated this week
- A focused launcher for your desktop — native, fast, extensible☆2,976Updated last week
- A collection of formalized statements of conjectures in Lean.☆648Updated this week
- CD-MOJ☆23Updated 3 months ago
- Repositório de apoio para as monitorias do curso de Linguagens de Programação da FGV EMAp em 2024.2.☆10Updated 11 months ago
- Scientific computing in Lean 4☆432Updated 4 months ago
- Repository for homeworks.☆10Updated 4 years ago
- Repositório para códigos de competição☆44Updated last week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆232Updated 7 months ago
- Repositório principal do projeto MatrUSP☆118Updated 2 years ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆461Updated 2 months ago
- Aulas, códigos e resumos de tópicos de programação competitiva!☆28Updated 4 years ago
- Construction of a Brownian Motion in Lean☆23Updated this week
- Template for Federal University of Ceará (UFC) presentations in LaTeX.☆12Updated last year