typetheory

There are 0 repository under typetheory topic.

• ualib.github.io

  ualib / ualib.github.io

  The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.

  universal-algebraagdatypetheoryformalizationdependent-typesagda-ualibagda-librarylogic
  Language:TeX 18

• bracevac / dotter

  Towards richer dependent types for DOT

  agdacoqdependent-typesdotscalatypetheory
  Language:Coq 4

• willdoescode / Natrual

  Haskell Nat implementation.

  nattypetheory
  Language:Haskell 3

• baberrehman / TAPL

  Locally nameless implementation of the Holy Types and Programming Languages using TLC!

  coqlocally-namelesstypesystemstypetheory
  Language:Coq 2

• essentialblend / integers-comm-ring

  Type theoretical proofs in Agda proving the Ring of Integers.

  agdaintuitionistic-logicmathematicstypetheory
  Language:Agda 0

• ajhamwood / elabzoo_js

  Working through Andras Kovacs' elaboration zoo in Javascript

  javascripttypetheory
  Language:JavaScript

• b-g-goodell / learning-lean

  Learning Lean (and Type Theory) for the ZFC-Headed Pure Mathematician

  lean3mathematicstypetheory

• Francesco601 / prog-lang-theory

  Programming Language Theory

  backus-naur-formeverythinglambda-calculuslazyevalprogrammingprogramming-languagetypetypetheory
  Language:CSS

• monadplus / plfa-solutions

  This is a work in progress of https://plfa.github.io/ course.

  agdatypetheory
  Language:Agda

• TimothyEarley / arend-sandbox

  Playing around with Arend

  arendproof-assistanttypetheory