Individual skill

icdt-supplementary

Use when deciding how to split an ICDT (International Conference on Database Theory) paper between the 15-page lipics-v2021 body and the clearly-marked appendix that referees read at their discretion, given that online/external appendices are not allowed and every proof needed to certify the result must live inside the single submitted PDF.

ICDT-Skills/skills/icdt-supplementary/SKILL.md

Read pinned source

Source commit 932eb23331721b16e967c59f093781be1928b498

What was checked

Matches the observed repository HEAD: Yes
Scanner rules are current: No
Repository scan complete: No
Skill scan complete: Yes
Observed behavior: Not checked yet
Last checked: Nov 9, 2026

These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.

Install this skill

Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.

An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.

Repository context

Repository stars (not skill ratings): 1,409
Repository last updated: Sep 27, 2026
License: MIT

Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.

academic-writing Repository topic
agent-skills Repository topic
journal Repository topic
academic-research Repository topic
ai-agents Repository topic
anthropic Repository topic
awesome-list Repository topic
claude Repository topic
claude-code Repository topic
economics Repository topic
data Derived category
data-databases Derived category

Files and excerpt

File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.

Browse files

SKILL.mdcore · 4,344 bytes

Read excerpt


# ICDT Supplementary Material

Decide what goes in the body, what goes in the appendix, and — the ICDT-specific constraint — accept
that **there is no online supplement**. ICDT allows a **clearly marked appendix** inside the
submission PDF, read **at the discretion of the program committee**, but it **does not allow
online/external appendices**. So everything a referee could need to certify your theorem must be in
the one PDF, and you must write the body assuming the appendix might not be read.

## The one hard rule

> **The 15-page body (excluding references) must let a referee judge that the result is correct and
> significant on its own. The appendix supplies the full proofs for the referee who chooses to check
> them. Nothing decision-critical may depend on material outside the submitted PDF.**