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
  ☆16Updated 3 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated last week
• rodrigogribeiro / pcc116-2021-2
  ☆10Updated 3 years ago
• VictorTaelin / taemoba
  ☆14Updated last year
• UniMath / Schools
  ☆92Updated 6 months ago
• algebraic-dev / idris-4-noobs
  📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
  ☆48Updated 3 years ago
• folivetti / Category4Programmers
  annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski
  ☆19Updated 6 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆63Updated 3 months ago
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆82Updated this week
• foxx3r / FPAboveUs
  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 4 years ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆81Updated 2 years ago
• teikalang / teika
  ☆356Updated 3 months ago
• aripiprazole / lura
  🍞 | IDE focused programming language study
  ☆36Updated last year
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆308Updated last year
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 6 years ago
• samueldurantes / haildo
  Toy programming language
  ☆20Updated last year
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆15Updated 6 months ago
• reamat / PreCalculo
  Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.
  ☆45Updated last year
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆107Updated 4 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆50Updated 2 years ago
• styzystyzy / Axiomatic_Set_Theory
  Formalization of Axiomatic Set Theory in Coq
  ☆19Updated 6 years ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆261Updated this week
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆104Updated 3 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆91Updated 7 years ago
• jpvillaisaza / cain
  Category theory applied to functional programming (undergraduate project)
  ☆34Updated 6 months ago
• pi8027 / lambda-calculus
  A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
  ☆85Updated 5 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆80Updated 3 years ago
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆36Updated 2 years ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆120Updated 5 months ago