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 month
- ☆10Updated 3 years ago
- ☆14Updated 9 months ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆47Updated 3 years ago
- 🐒 The Blow Your Mind Conference☆13Updated this week
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆102Updated last week
- ☆86Updated 3 months ago
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆19Updated 5 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 4 years ago
- Formalization of Axiomatic Set Theory in Coq☆19Updated 5 years ago
- Categorical Logic Notes☆79Updated 3 years ago
- A tutorial on how Agda infers things☆60Updated last month
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆83Updated 5 years ago
- Category theory applied to functional programming (undergraduate project)☆34Updated 3 months ago
- 🦊 | A language that compiles to LLVM and has algebraic effects☆107Updated last year
- Toy programming language☆19Updated last year
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆301Updated last year
- A curated list of resources on the science of learning anything☆35Updated 7 months ago
- Benchmarks for capture-avoiding substitution☆119Updated 2 months ago
- Calculus of Constructions☆17Updated 6 years ago
- A declarative toy language inspired on set comprehensions.☆18Updated 6 years ago
- Formalization of Linear Logic in Coq☆16Updated 4 months ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆21Updated last year
- 🍞 | IDE focused programming language study☆34Updated last year
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆103Updated 3 years ago
- ☆161Updated 10 years ago
- Repositorio de la optativa para la FCEIA☆16Updated 4 months ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆46Updated last year