一般化されたPCセットの形式的定義

CEED Advent Calendar 2022の23日目の記事「一般化されたPCセットの形式的定義」です．この記事は後日断りなく修正されます．

github.com