GitHub repository: reubenrowe/cyclic-proof-bibliography
Primary language: TeX
Created: 2024-02-01T18:00:23Z
Description: A website containing a bibliography for non-well-founded and cyclic proof theory