Repository navigation

doc(abstracts): ETH abstract readability follow-up (vars, encoding length, ComputableInO) - #1352

Merged

SamuelSchlesinger merged 5 commits into

cslib-community:mainfrom

chris-ai1:feat/eth-abstract-followup

Oct 28, 2026

Merged

doc(abstracts): ETH abstract readability follow-up (vars, encoding length, ComputableInO)#1352
SamuelSchlesinger merged 5 commits into
cslib-community:mainfrom
chris-ai1:feat/eth-abstract-followup

Commits on Oct 27, 2026
- doc(abstracts): make vars the set of occurring variables in the ETH abstract (#1338)
  
  chris-ai1
  and
  claude
  committed
  83529d5
- doc(abstracts): state the exact CNF encoding length in the ETH abstract (#1338)
  
  chris-ai1
  and
  claude
  committed
  aa8dabc
- doc(abstracts): open the shared encoding namespace in the ETH abstract (#1338)
  
  chris-ai1
  and
  claude
  committed
  4df26d3
- doc(abstracts): display ComputableInO in the ETH abstract (#1338)
  
  chris-ai1
  and
  claude
  committed
  0e9292b
- doc(abstracts): display length_encCNF in the rendered ETH abstract
  
  chris-ai1
  and
  claude
  committed
  7e600f5