GitHub repository: qexat/inductive
Primary language: Python
Created: 2024-11-25T20:16:24Z
Description: inductive is a Python library that defines inductive data structures such as Peano numbers and linked lists.