A collaboration with Proof · 1 public repo per week

Are you an open source maintainer? We can help your project.

Completely free for open source repositories.

Proof turns your repository into a graph of requirements that humans and agents can both use. It finds as many bugs as it can, and gives you the tools to triage GitHub issues and pull requests from contributors — including community bug reports and security reports.

Apply free for OSS
opencompl

opencompl/veir

Verified Intermediate Representation

5 good first / help-wanted issues · Lean · last activity Sep 1, 2026

93 stars 21 forks 93 watchers Lean Other
View on GitHub
5 Open Issues Need Help Last updated: Sep 1, 2026

Open Issues Need Help

View All on GitHub
Support CIRCT's `verif.assume` and `verif.assert` about 9 hours ago
good first issue
opencompl/veir
93

Verified Intermediate Representation

Lean
Support CIRCT's `seq` dialect about 9 hours ago
good first issue
opencompl/veir
93

Verified Intermediate Representation

Lean
Support CIRCT's `hw.instance` about 9 hours ago
good first issue
opencompl/veir
93

Verified Intermediate Representation

Lean
Add `FunctionOpInterface` 4 months ago
good first issue
opencompl/veir
93

Verified Intermediate Representation

Lean
Add parsing support for LLVM's floating point operations 4 months ago
good first issue
opencompl/veir
93

Verified Intermediate Representation

Lean