#

induction

Here are 2 public repositories matching this topic...

gijs-pennings / rocq-wf-recursion

A tutorial on well-founded recursion in Rocq

tutorial coq quicksort recursion binary-search-tree gcd induction well-founded rocq

Updated May 25, 2025
HTML

Induction-2021

EnigmaVSSUT / Induction-2021

Induction 2021

github javascript css android python git html web ai ml python3 induction

Updated Mar 22, 2023
HTML

Improve this page

Add a description, image, and links to the induction topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the induction topic, visit your repo's landing page and select "manage topics."