emap-20242-ed / fad
lean code
☆10Updated 3 months ago
Alternatives and similar repositories for fad:
Users that are interested in fad are comparing it to the libraries listed below
- A Lean4 Formalization of Polynomial Functors☆20Updated 2 weeks ago
- Course materials for Statistical Inference ("Inferência Estatística")☆59Updated last year
- Repositório de resumos do curso de Matemática Aplicada da FGV-EMAP☆32Updated 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…☆30Updated last year
- A WIP definitional (co)datatype package for Lean4☆36Updated 4 months ago
- ☆13Updated last year
- Material de apoio ao curso de Estrutura de Dados da EMAp-FGV☆26Updated 3 weeks ago
- Advanced course on Reinforcement Learning.☆30Updated 5 months ago
- This repository includes codes related with the FGV EMAp lectures which I worked as teacher assitant.☆12Updated last year
- Repositório para disponibilizar o material feito pelos monitores da disciplina de Álgebra Linear da EMAp.☆30Updated 3 years ago
- A Lean 4 Jupyter kernel via repl☆24Updated 5 months ago
- computable implementation of real numbers in Lean4☆34Updated 3 weeks ago
- Repositório para o material feito pelos monitores da disciplina de Teoria da Probabilidade da FGV EMAp, ministrada no primeiro semestre d…☆10Updated 3 years ago
- WIP collections library for Lean 4☆32Updated last week
- Tools based on AI for helping with Lean 4☆81Updated 3 weeks ago
- Template for blueprint-driven formalization projects in Lean.☆48Updated last week
- Helper toolkit for creating your own Lean 4 UserWidgets☆129Updated this week
- Course materials for Computational Statistics, PhD course at EMAp.☆35Updated 2 weeks ago
- Resources for Statistical Modelling ("Modelagem Estatística").☆66Updated 2 weeks ago
- Fermat's Last Theorem for regular primes☆55Updated 2 weeks ago
- Repositório do Curso de Modelagem Matemática IV - Modelagem de Sistemas Biológicos☆22Updated last year
- Intuitive, type-safe expression quotations for Lean 4.☆83Updated 3 weeks ago
- ☆14Updated 2 years ago
- An attempt to formalize every problem in Baby Rudin with natural language descripiton☆17Updated 2 months ago
- A gentle introduction to Isabelle and Isabelle/HOL☆12Updated last month
- Natural language tactics to teach mathematics using Lean 4☆72Updated this week
- Curso de introdução à computação☆40Updated 3 weeks ago
- tool for turning Lean proofs into Blender animations☆66Updated 3 weeks ago
- Markdown file of the list and explanations of all mathlib4 tactics☆38Updated last year
- Document Generator for Lean 4☆88Updated last week