Alternatives and similar repositories for apostila-discreta:

Users that are interested in apostila-discreta are comparing it to the libraries listed below

• arielsilveira / ModalLibrary
  Modal Logic Library in Coq
  ☆15Updated 2 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated this week
• rodrigogribeiro / pcc116-2021-2
  ☆10Updated 3 years ago
• reamat / PreCalculo
  Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.
  ☆39Updated 6 months ago
• tsouanas / fmcbook
  Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
  ☆96Updated last month
• folivetti / Category4Programmers
  annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski
  ☆19Updated 5 years ago
• VictorTaelin / taemoba
  ☆14Updated 3 months ago
• UniMath / Schools
  ☆80Updated 5 months ago
• thiagofelicissimo / BiTTs
  ☆23Updated 5 months ago
• coq / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆21Updated this week
• styzystyzy / Axiomatic_Set_Theory
  Formalization of Axiomatic Set Theory in Coq
  ☆18Updated 5 years ago
• reamat / AlgebraLinear
  Escrita colaborativa de recursos educacionais abertos sobre álgebra linear.
  ☆64Updated 3 weeks ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆75Updated 2 years ago
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆23Updated last year
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆103Updated 3 years ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆67Updated 4 months ago
• coq-community / coqtail-math
  Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…
  ☆15Updated 7 months ago
• tomdjong / MGS-domain-theory
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆44Updated 11 months ago
• rocq-archive / stdlib2
  ☆38Updated last year
• rafaelcgs10 / W-in-Coq
  This is a Coq formalization of Damas-Milner type system and its algorithm W.
  ☆28Updated 4 years ago
• DeepSpec / dsss17
  Lecture material for DeepSpec Summer School 2017
  ☆87Updated 3 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆49Updated last year
• z-murray / honours-project-constructive-analysis-in-agda
  My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…
  ☆16Updated last year
• VictorTaelin / UrnaCripto
  Referendos criptograficamente incorruptíveis.
  ☆59Updated 8 years ago
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆26Updated 4 months ago
• AndrasKovacs / antifunext
  antifunext
  ☆31Updated 7 months ago
• proofengineering / proofengineering-bib
  BibTeX bibliographies for proof engineering-related papers
  ☆30Updated 5 years ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 5 years ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆98Updated 2 years ago