Isomorphic-Reasoning

Isomorphic Reasoning: Counting with Types

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.github		.github
.editorconfig		.editorconfig
.gitignore		.gitignore
AGENTS.md		AGENTS.md
README.md		README.md
main.tex		main.tex
optional.tex		optional.tex

Provide feedback