Simple CoC-based programming language
-
Updated
Sep 4, 2017 - Haskell
#
inductive-types
Here are 7 public repositories matching this topic...
Native Swift CIC kernel for embedded proof checking on Apple platforms.
macos swift ios dependent-types swift-package-manager proof-assistant type-theory inductive-types formal-verification cic
-
Updated
Nov 3, 2026 - Swift
Code and examples based on the tutorial 'A Tutorial on [Co-]Inductive Types in Coq' by Eduardo Giménez and Pierre Castéran
-
Updated
May 9, 2017 - Coq
Code and slides for my talk presented at the seminar.
topology functional-programming type-theory category-theory induction inductive-types coinduction coinductive-types intuition
-
Updated
Feb 24, 2026 - TeX
A constructive formalization of first-order logic, Peano Arithmetic, syntax trees, and Gödel numbering within Homotopy Type Theory (HoTT)
dependent-types latex inductive-types mathematical-logic homotopy-type-theory univalent-foundations proof-theory formal-systems peano-axioms peano-arithmetic
-
Updated
Oct 31, 2026 - TeX
An implementation of natural numbers and basic arithmetic in Haskell
-
Updated
Aug 20, 2017 - Haskell
Add this topic to your repo
To associate your repository with the inductive-types topic, visit your repo's landing page and select "manage topics."