rodrigogribeiro / apostila-discretaLinks
Material para Matemática Discreta
☆10Updated 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:
- Modal Logic Library in Coq☆15Updated 3 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated 2 weeks ago
- ☆10Updated 3 years ago
- ☆14Updated 8 months ago
- Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.☆42Updated 11 months ago
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆19Updated 5 years ago
- ☆86Updated 3 months ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆47Updated 3 years ago
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆100Updated last month
- EPIT 2020 - Spring School on Homotopy Type Theory☆108Updated 3 years ago
- The agda-unimath library☆259Updated 3 weeks ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆261Updated this week
- A slow-paced introduction to reflection in Agda. ---Tactics!☆102Updated 3 years ago
- ☆160Updated 10 years ago
- HoTTEST Summer School materials☆303Updated last month
- Formalization of Axiomatic Set Theory in Coq☆19Updated 5 years ago
- Compiling Agda code to readable Haskell☆189Updated last week
- Course materials for Chalmers TPIL25 class☆14Updated 5 months ago
- Benchmarks for capture-avoiding substitution☆119Updated last month
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆61Updated this week
- A work-in-progress core language for Agda, in Agda☆54Updated last month
- LaTeX code for a paper on lean's type theory☆139Updated 2 years ago
- ☆354Updated last week
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆17Updated last year
- This aims to be the most pretentious implementation of stlc in existence☆63Updated 3 years ago
- Categorical logic from a categorical point of view☆80Updated last year
- A tutorial on how Agda infers things☆58Updated last week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆301Updated last year
- Categorical Logic Notes☆79Updated 3 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago