search

aya-prover / aya-dev

A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
281 stars 16 forks source link

Rename intervals #1084

Closed ice1000 closed 5 months ago

codecov[bot] commented 5 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 78.29%. Comparing base (b39d2b4) to head (42c7d13). Report is 3 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1084 +/- ## ========================================= Coverage 78.29% 78.29% Complexity 3137 3137 ========================================= Files 291 291 Lines 9685 9685 Branches 1124 1124 ========================================= Hits 7583 7583 Misses 1466 1466 Partials 636 636 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.