inductive is a Python library that defines inductive data structures such as Peano numbers and linked lists.
-
Updated
Oct 8, 2025 - Python
#
dependent-types
Here are 3 public repositories matching this topic...
🪄 Peoples Prize for HackSheffield9! Dependently typed toy language with LLM-verified holes developed in Rust using Z3 Theorem Prover!
-
Updated
Jan 9, 2025 - Python
Jupyter kernel for Coq
dependent-types kernel jupyter coq jupyter-notebook theorem-proving jupyter-kernels proof-assistant jupyter-extension python-pa
-
Updated
Sep 3, 2024 - Python
Improve this page
Add a description, image, and links to the dependent-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dependent-types topic, visit your repo's landing page and select "manage topics."