opencompl/veir
Verified Intermediate Representation
Lean
Stars
82
Forks
17
License
NOASSERTION
Open Issues
73
Updated
10m ago
No README available
Statistics
- Stars
- 82
- Forks
- 17
- Open Issues
- 73
- Created
- Dec 08, 2025
- Updated
- Jul 30, 2026