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 last week
- ☆10Updated 3 years ago
- ☆14Updated 11 months ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Updated 3 years ago
- ☆90Updated 5 months ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- Formalization of Axiomatic Set Theory in Coq☆19Updated 5 years ago
- ☆356Updated 3 months ago
- ☆160Updated 10 years ago
- A declarative toy language inspired on set comprehensions.☆18Updated 6 years ago
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆19Updated 6 years ago
- Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.☆44Updated last year
- 🍞 | IDE focused programming language study☆35Updated last year
- Toy programming language☆20Updated last year
- A tutorial on how Agda infers things☆61Updated 3 months ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆84Updated 5 years ago
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆105Updated last week
- Organization and planning for the Initial Types Club☆73Updated 3 years ago
- Este repósitório irá te ensinar programação funcional do zero com Haskell :) também falaremos um pouco de Prolog e Agda aqui.☆23Updated 4 years ago
- Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…☆16Updated last year
- Agda as a collaborative multiplayer game☆38Updated 11 months ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆21Updated 2 years ago
- Benchmarks for capture-avoiding substitution☆120Updated 4 months ago
- A computational way to study discrete mathematics using Haskell☆73Updated 6 years ago
- Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!☆172Updated last year
- Readings on computational logic, interactive theorem proving and functional programming.☆81Updated this week
- Compiling Agda code to readable Haskell☆193Updated this week
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆106Updated 2 months ago
- 🐒 The Blow Your Mind Conference☆13Updated last week