Alternatives and similar repositories for nadea:

Users that are interested in nadea are comparing it to the libraries listed below

• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 2 months ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 10 years ago
• byorgey / species
  ☆17Updated 11 months ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 10 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 13 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• peterlefanulumsdaine / cartmell-thesis
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆15Updated last year
• leanprover / super
  Superposition prover
  ☆17Updated last year
• HoTT / M-types
  A formalization of M-types in Agda
  ☆32Updated 4 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 8 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆11Updated 7 years ago
• mmcco / verified-parser-example
  A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
  ☆20Updated 9 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆49Updated 2 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• Lysxia / coq-ceres
  Coq library for serialization to S-expressions
  ☆18Updated last year
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated last week
• leanprover / tutorial
  Lean Tutorials
  ☆44Updated 4 years ago
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• coq-io / hello-world
  A Hello World program in Coq.
  ☆17Updated 2 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last month
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 6 years ago
• smimram / strid
  A string diagram generator for LaTeX.
  ☆26Updated last year
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆20Updated 5 months ago