# CertiuCOS2

**URL:** <https://discourse.rocq-prover.org/t/certiucos2/2053>\
**Category:** Using Rocq\
**Created:** [September 25, 2023, 11:59am UTC](https://discourse.rocq-prover.org/t/certiucos2/2053 "2023-09-25T11:59:09Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![liuxingpeng520521](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/liuxingpeng520521/32/865_2.png) [@liuxingpeng520521](https://discourse.rocq-prover.org/u/liuxingpeng520521)\
**Post date:** [September 25, 2023, 11:59am UTC](https://discourse.rocq-prover.org/t/certiucos2/2053/1 "2023-09-25T11:59:09Z")

</div>

Has anyone studied the CertiuCOS2 project? The code looks abstract without comments, and I’m looking for someone to study it with.