# About the Formal verification category

**URL:** <https://community.simplicity-lang.org/t/about-the-formal-verification-category/17>\
**Category:** Formal verification\
**Created:** [June 26, 2026, 8:24pm UTC](https://community.simplicity-lang.org/t/about-the-formal-verification-category/17 "2026-06-26T20:24:18Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![schoen](https://avatars.discourse-cdn.com/v4/letter/s/b3f665/32.png) [@schoen](https://community.simplicity-lang.org/u/schoen)\
**Post date:** [June 26, 2026, 8:24pm UTC](https://community.simplicity-lang.org/t/about-the-formal-verification-category/17/1 "2026-06-26T20:24:18Z")

</div>

This category is meant for discussion of formal specification and verification of Simplicity and SimplicityHL and their implementations, as well as the use of tools to verify individual smart contracts.