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
• folivetti / Category4Programmers
  annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski
  ☆19Updated 5 years ago
• VictorTaelin / taemoba
  ☆14Updated 5 months ago
• reamat / PreCalculo
  Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.
  ☆43Updated 8 months ago
• styzystyzy / Axiomatic_Set_Theory
  Formalization of Axiomatic Set Theory in Coq
  ☆18Updated 5 years ago
• tsouanas / fmcbook
  Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
  ☆98Updated 3 months ago
• 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
• mtzguido / verificacion-con-fstar-2024
  Repositorio de la optativa para la FCEIA
  ☆16Updated 2 weeks ago
• algebraic-dev / idris-4-noobs
  📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
  ☆47Updated 3 years ago
• UniMath / Schools
  ☆83Updated last week
• algebraic-dev / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆104Updated last year
• KindaSloth / Haskell4Noobs
  Único roadmap de Haskell possível, do noob ao Thanos
  ☆243Updated last year
• taylorrf / learnhaskell
  Projeto de tradução do livro "Learn You a Haskell for Great Good!"
  ☆127Updated 5 years ago
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆105Updated 3 years ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆20Updated this week
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆323Updated last week
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆63Updated 3 years ago
• VictorTaelin / UrnaCripto
  Referendos criptograficamente incorruptíveis.
  ☆59Updated 8 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆185Updated last week
• Mzk-Levi / texts
  ☆152Updated 10 years ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆113Updated last week
• daviromero / nadia
  Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
  ☆30Updated last year
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 6 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆78Updated 3 years ago
• teikalang / teika
  ☆348Updated 3 weeks ago
• Camilotk / ocaml4noobs
  Tutorial de OCaml para iniciantes na Linguagem.
  ☆392Updated last year
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆101Updated 2 years ago
• rocq-community / autosubst
  Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
  ☆58Updated 7 months ago