This respository contains bibtex files comprising a bibliography of academic resources related to non-well-founded and cyclic proof theory, and a simple website for displaying it.
The website uses Philip Cooksey's bibtex-js
library, and is hosted on
Github pages.
Suggestions for items to include, or for corrections, are welcome! Please submit an issue.