emap-ed-20242 / fad
lean code
☆10Updated 2 weeks ago
Alternatives and similar repositories for fad:
Users that are interested in fad are comparing it to the libraries listed below
- Repositório de resumos do curso de Matemática Aplicada da FGV-EMAP☆32Updated last year
- ☆13Updated 11 months ago
- Course materials for Statistical Inference ("Inferência Estatística")☆60Updated last year
- Repositório para o material feito pelos monitores da disciplina de Teoria da Probabilidade da FGV EMAp, ministrada no primeiro semestre d…☆10Updated 2 years ago
- Este repositório contém os arquivos necessários para começar o Trabalho de Conclusão de Curso da Escola de Matemática Aplicada (FGV EMAp…☆29Updated 10 months ago
- ☆14Updated last year
- Repositório para disponibilizar o material feito pelos monitores da disciplina de Álgebra Linear da EMAp.☆30Updated 3 years ago
- Resources for Statistical Modelling ("Modelagem Estatística").☆43Updated 7 months ago
- Course materials for [Statistical Inference](https://emap.fgv.br/disciplina/inferencia-estatistica)☆21Updated 3 months ago
- Course materials for Computational Statistics, PhD course at EMAp.☆32Updated 11 months ago
- Material for the discipline "Database Modeling and Use"☆29Updated 3 years ago
- This repository includes codes related with the FGV EMAp lectures which I worked as teacher assitant.☆12Updated last year
- ☆36Updated 2 months ago
- Repositório do Curso de Modelagem Matemática IV - Modelagem de Sistemas Biológicos☆22Updated last year
- Introdução à Recuperação de Informações☆15Updated 2 years ago
- A Lean4 Formalization of Polynomial Functors☆18Updated last month
- ☆12Updated 3 years ago
- A Lean 4 Jupyter kernel via repl☆19Updated 2 months ago
- ☆10Updated 2 years ago
- Template for blueprint-driven formalization projects in Lean.☆36Updated this week
- Criando um jogo de naves espaciais com Pygame. Para iniciantes em Python☆44Updated 2 years ago
- Advanced course on Reinforcement Learning.☆28Updated 2 months ago
- ☆9Updated last year
- Repositório para a monitoria do curso de Álgebra Linear 2023.2 da EMAp.☆10Updated last year
- A WIP definitional (co)datatype package for Lean4☆32Updated last month
- Convex optimization modeling in Lean 4☆42Updated 7 months ago
- A gentle introduction to Isabelle and Isabelle/HOL☆10Updated 6 months ago
- tool for turning Lean proofs into Blender animations☆52Updated last week