rodrigogribeiro / apostila-discreta
Material para Matemática Discreta
☆9Updated 8 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:
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated 2 weeks ago
- Modal Logic Library in Coq☆15Updated 3 years ago
- ☆10Updated 3 years ago
- Formalization of Axiomatic Set Theory in Coq☆18Updated 5 years ago
- ☆84Updated 3 weeks ago
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆19Updated 5 years ago
- A polynomial model of a Martin-Löf type theory + a bit of game semantics☆32Updated 3 years ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆44Updated last year
- ☆14Updated 6 months ago
- Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.☆43Updated 9 months ago
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Updated 4 years ago
- ☆38Updated last year
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆59Updated 8 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆20Updated this week
- ☆25Updated 8 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 10 months ago
- Formalization of Linear Logic☆10Updated 7 years ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆16Updated last year
- Calculus of Constructions☆17Updated 5 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆82Updated 4 years ago
- Lecture notes on realizability☆72Updated 2 months ago
- CS316 "Functional Programming" lecture notes☆14Updated 5 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆105Updated 3 years ago
- Exámenes de programación funcional con Haskell☆9Updated last year
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆98Updated this week
- Categorical Logic Notes☆78Updated 3 years ago
- ☆10Updated last week
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Simplified Observational Type Theory☆81Updated 2 years ago
- An experimental category theory library for Lean☆51Updated last year