Towards richer dependent types for DOT
-
Updated
Mar 4, 2021 - Coq
#
typetheory
Here are 11 public repositories matching this topic...
This is a work in progress of https://plfa.github.io/ course.
-
Updated
Oct 6, 2021 - Agda
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.
-
Updated
Dec 8, 2021 - TeX
Locally nameless implementation of the Holy Types and Programming Languages using TLC!
-
Updated
Sep 9, 2022 - Coq
Programming Language Theory
programming-language
programming
everything
lambda-calculus
type
backus-naur-form
lazyeval
typetheory
-
Updated
May 21, 2023 - CSS
Working through Andras Kovacs' elaboration zoo in Javascript
-
Updated
Jul 24, 2023 - JavaScript
Learning Lean (and Type Theory) for the ZFC-Headed Pure Mathematician
-
Updated
Nov 26, 2023
Type theoretical proofs in Agda proving the Ring of Integers.
-
Updated
Mar 30, 2024 - Agda
Improve this page
Add a description, image, and links to the typetheory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typetheory topic, visit your repo's landing page and select "manage topics."