Category Topics

CVL Support

This category is for support in spec language (CVL) - questions about syntax, features and real-life problems.
24

General Discussion

This category is for things you aren’t sure how to categorize or for general chit-chat related to Certora topics.
6
9

Epoch Infinity

This category is for communicating on Epoch Infinity’s administrative issues - meeting times, reviews, certifications, badger CARE-X, etc.
5

Welcome

This is a place for welcome notes and guidelines on how to use this community forum.
2

Site Feedback

Discussion about this site, its organization, how it works, and how we can improve it.

0

Announcements

In this category there will be announcements of webinars, conventions, up coming releases, etc.
0

Suggestions

This category is for discussing anything you’d like Certora to do differently.
0