rodrigogribeiro / apostila-discretaLinks
Material para Matemática Discreta
☆10Updated 9 years ago
Alternatives and similar repositories for apostila-discreta
Users that are interested in apostila-discreta are comparing it to the libraries listed below
Sorting:
- Modal Logic Library in Coq☆16Updated 3 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated this week
- ☆14Updated 10 months ago
- ☆10Updated 3 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Updated 3 years ago
- ☆88Updated 5 months ago
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆104Updated 3 weeks ago
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆19Updated 5 years ago
- ☆12Updated 2 years ago
- Toy programming language☆20Updated last year
- ☆160Updated 10 years ago
- Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.☆45Updated last year
- ☆356Updated 2 months ago
- A tutorial on how Agda infers things☆61Updated 2 months ago
- Formalization of Axiomatic Set Theory in Coq☆19Updated 5 years ago
- Benchmarks for capture-avoiding substitution☆119Updated 3 months ago
- 🦊 | A language that compiles to LLVM and has algebraic effects☆108Updated last year
- Tutoriais e referências para o desenvolvimento de um sistema operacional (português)☆19Updated 3 years ago
- A declarative toy language inspired on set comprehensions.☆18Updated 6 years ago
- 🐒 The Blow Your Mind Conference☆13Updated this week
- HoTTEST Summer School materials☆311Updated 3 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 4 years ago
- A computational way to study discrete mathematics using Haskell☆73Updated 6 years ago
- A curated list of resources on the science of learning anything☆34Updated 9 months ago
- 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.☆14Updated 2 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆84Updated 5 years ago
- Repositorio de la optativa para la FCEIA☆15Updated 5 months ago
- Organization and planning for the Initial Types Club☆73Updated 3 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆306Updated last year
- A digital archive of category theory papers.☆31Updated 2 months ago