VeriThoughts

Public

The first large scale formally verified reasoning dataset for Verilog

Updated Jan 28, 2026

Created May 15, 2025

19 stars

0 forks

2 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

16 commits

12 commits

Recent Stargazers

8 months ago

5 months ago

5 months ago

5 months ago

5 months ago

5 months ago

4 months ago

4 months ago

4 months ago

3 months ago

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 0

Open Issues0

Activity Peak

Most recent day with highest activityJan 28, 2026 • 1 events

GitHub Analytics