issues
search
girving
/
interval
Conservative floating point interval arithmetic in Lean
Apache License 2.0
7
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
WIP: move tests to `test` directory
#20
adomasbaliuka
closed
1 week ago
9
stack overflow in `#eval (0 : Interval)`
#19
adomasbaliuka
closed
1 week ago
5
Missing `LE (Fixed 0)`?
#18
adomasbaliuka
opened
2 weeks ago
1
Fix docstring of Floaing.val
#17
adomasbaliuka
closed
2 weeks ago
1
"Correct" pretty-printing of Interval
#16
adomasbaliuka
closed
1 week ago
4
Fixes redundant parentheses
#15
adomasbaliuka
closed
2 weeks ago
0
Replaces three native_decide proofs by decide
#14
adomasbaliuka
closed
2 weeks ago
1
Removed parameter s of series structure
#13
adomasbaliuka
closed
2 weeks ago
1
Question: Why does `Series` have a parameter?
#12
adomasbaliuka
closed
2 weeks ago
7
Shortens proof of val_nan
#11
adomasbaliuka
closed
2 weeks ago
1
Adds lemmas mem_approx_natCast and mem_approx_natCast
#10
adomasbaliuka
closed
2 weeks ago
0
Missing lemmas for new casts
#9
adomasbaliuka
closed
2 weeks ago
1
RFC: Adds coercion instances: Coe Nat Interval and Coe Rat Interval
#8
adomasbaliuka
closed
2 weeks ago
2
Instances for `Coe Nat Interval` or `Coe Rat Interval`?
#7
adomasbaliuka
closed
2 weeks ago
10
Proving `mem_approx` for functions involving `ofNat`
#6
adomasbaliuka
closed
3 weeks ago
3
optimal rational approximate routine
#5
adomasbaliuka
closed
3 weeks ago
11
Doc adjustment for structure Fixed
#4
adomasbaliuka
closed
1 month ago
1
What does `n=nan` mean for `(n : Int64)`?
#3
adomasbaliuka
closed
1 month ago
1
Adds lemma val_nan
#2
adomasbaliuka
closed
1 month ago
0
Is `x ≠ nan -> x.exp ≠ nan`?
#1
adomasbaliuka
closed
1 month ago
13