add tests for fp files
Open
- Dominant language
- Lean
- Stars
- 109
- Forks
- 32
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 155
Description
add tests for:
```lean4
import Veir.Data.FP.EScientificBV
import Veir.Data.FP.EScientificBV.Basic
import Veir.Data.FP.EScientificBV.ToExtRat
import Veir.Data.FP.ExtRat
import Veir.Data.FP.FP
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.