Data · dataset · 2026

cafeinst/collatz-isabelle

Listed in Hugging Face Datasets

Collatz Isabelle This repository contains an Isabelle/HOL formalization of information-theoretic barriers for trace-based proof strategies for the Collatz conjecture.

Description

Current Version and Source Code The current version of the Isabelle/HOL project is maintained in the CollatzConjecture GitHub repository. Related Paper Craig Alan Feinstein, “The Collatz 3n+1 Conjecture is Unprovable.” Read the paper on arXiv.

Archive The project is… See the full description on the dataset page: huggingface.co/datasets/cafeinst/collatz-isabelle.

Topics

From keywords: Computer Science & AI · Mathematics & Statistics
Inferred from text: Theory of computation 69%

Provenance · 1 source records, 10 field assertions

Source	Key	Last seen	Raw
Hugging Face Datasets	cafeinst/collatz-isabelle	13 d ago	JSON v1

Field	Assertion	Extractor	Evidence
access_level	source · Hugging Face	connector:huggingface@1.0.0	/gated
concepts[field].anzsrc:group:4613	enrichment · Hugging Face	taxonomy-embedding@1.0.0	title+keywords+description (69%)
concepts[field].local:field:computer-science-ai	mapping · Hugging Face	connector:huggingface@1.0.0
concepts[field].local:field:mathematics-statistics	mapping · Hugging Face	vocabulary-mapper@1.0.0	keywords['mathematics']
created_date	source · Hugging Face	connector:huggingface@1.0.0
description	source · Hugging Face	connector:huggingface@1.0.0	/description
license	source · Hugging Face	connector:huggingface@1.0.0	/tags[license:*]
publication_date	source · Hugging Face	connector:huggingface@1.0.0
title	source · Hugging Face	connector:huggingface@1.0.0	/id
updated_date	source · Hugging Face	connector:huggingface@1.0.0

cafeinst/collatz-isabelle

Description

Links

Where it is published

Topics