Skip to main content
alias's user avatar
alias's user avatar
alias's user avatar
alias
  • Member for 12 years, 10 months
  • Last seen this week
  • US
Profile Activity
Stats
29,663
reputation
507k
reached
1,145
answers
29
questions
Communities
View all
Badges
View all badges
2
gold badges
27
silver badges
46
bronze badges
Top tags
View all tags
1,301
Score
926
Posts
79
Posts %
657
Score
458
Posts
39
Posts %
499
Score
347
Posts
30
Posts %
323
Score
242
Posts
21
Posts %
306
Score
76
Posts
6
Posts %
153
Score
79
Posts
7
Posts %
Top posts
View all questions, answers, and articles
44
How to compare two functions for extensional equivalence, as in (λx.2*x) == (λx.x+x)?
Sep 13, 2017
16
Why are Float and Double different in the case of adding 0.1 and 0.2?
Feb 17, 2017
13
Are floating point SMT logics slower than real ones?
Feb 3, 2019
12
Symbolic theory proving using SBV and Haskell
Jul 8, 2015
12
Can GHC warn if class instance is a loop?
Sep 4, 2012
11
Floating-point number multiplication: a * 1.0 == a guaranteed?
Nov 19, 2019
11
Dart Convert IEEE-11073 32-bit FLOAT to a simple double
Mar 25, 2020
11
How to test Haskell objects for reference equality?
Mar 30, 2022
10
Scalability of z3
Aug 26, 2019
10
Without unwinding, translate a simple while loop iteration into SMT-LIB formula to prove correctness
Aug 7, 2022