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
- ☆10Updated 4 years ago
- ☆14Updated last year
- ☆94Updated 9 months ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Updated 3 years ago
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆20Updated 6 years ago
- 🍞 | IDE focused programming language study☆39Updated last year
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆268Updated last week
- HoTTEST Summer School materials☆322Updated 7 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆311Updated last year
- Categorical Logic Notes☆81Updated 3 years ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆24Updated 2 years ago
- A tutorial on how Agda infers things☆63Updated 6 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆110Updated 4 years ago
- Selected Papers of Dana S. Scott☆171Updated last year
- ☆361Updated 6 months ago
- Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…☆16Updated 3 months ago
- A digital archive of category theory papers.☆34Updated 2 weeks ago
- Organization and planning for the Initial Types Club☆75Updated 3 years ago
- Toy programming language☆20Updated last year
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆86Updated 5 years ago
- Categorical logic from a categorical point of view☆81Updated 2 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆418Updated this week
- 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 5 years ago
- ☆171Updated 10 years ago
- A proof assistant for higher-dimensional type theory☆229Updated 5 months ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆104Updated 3 years ago
- Formalization of Axiomatic Set Theory in Coq☆19Updated 6 years ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆368Updated this week