Simple CoC-based programming language
-
Updated
Sep 4, 2017 - Haskell
#
inductive-types
Here are 6 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
Jul 7, 2026 - Swift
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
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
An implementation of natural numbers and basic arithmetic in Haskell
-
Updated
Aug 20, 2017 - Haskell
Improve this page
Add a description, image, and links to the inductive-types topic page so that developers can more easily learn about it.
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."