search

AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
21 stars 2 forks source link

Link to paper in README #150

Closed epatters closed 2 months ago

codecov[bot] commented 2 months ago

Codecov Report

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

Project coverage is 94.52%. Comparing base (9ce02fa) to head (5b5c772).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #150 +/- ## ======================================= Coverage 94.52% 94.52% ======================================= Files 38 38 Lines 2082 2082 ======================================= Hits 1968 1968 Misses 114 114 ```

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