cyclic-structures.gitlab.io

cyclic-structures.gitlab.io is a live English-language website hosted on Google LLC (AS396982) in the United States. cl0q first saw it on 2026-06-24 and last crawled it on 2026-07-15. It resolves to 35.185.44.232.

How the site describes itself:

Cyclic Structures in Programs and Proofs | This site collects information about positions, publications and relevant news for the project “Cyclic Structures in Programs and Proofs” project, funded by …

This site collects information about positions, publications and relevant news for the project “Cyclic Structures in Programs and Proofs” project, funded by NWO. The project aims to advance the theory of cyclic structures in proofs and programs, including in coalgebraic modal logic, type theory, behavioural types, and the proof assistants Agda and Rocq (formely Coq), and create a development environment for Rust based on these techniques.