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 last year
- ☆10Updated 3 years ago
- Repositorio de la optativa para la FCEIA☆15Updated 7 months ago
- ☆162Updated 10 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Updated 3 years ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- ☆92Updated 7 months ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆355Updated this week
- EPIT 2020 - Spring School on Homotopy Type Theory☆109Updated 4 years ago
- HoTTEST Summer School materials☆317Updated 5 months ago
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆19Updated 6 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆262Updated last week
- Code challenges to solve with Haskell☆179Updated last month
- 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
- Agda as a collaborative multiplayer game☆38Updated last year
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆310Updated last year
- ☆358Updated 4 months ago
- Compiling Agda code to readable Haskell☆195Updated this week
- A tutorial on how Agda infers things☆63Updated 4 months ago
- Readings on computational logic, interactive theorem proving and functional programming.☆82Updated this week
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆106Updated last month
- The agda-unimath library☆274Updated this week
- Benchmarks for capture-avoiding substitution☆120Updated 5 months ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆104Updated 3 years ago
- Spartan type theory☆271Updated 2 months ago
- Selected Papers of Dana S. Scott☆168Updated last year
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆23Updated 2 years ago
- 🐒 The Blow Your Mind Conference☆14Updated this week