Skip to main content
alias's user avatar
alias's user avatar
alias's user avatar
alias
  • Member for 14 years, 2 months
  • Last seen this week
  • US
Profile Activity

Stats

30,915
reputation
617k
reached
1,179
answers
31
questions
Communities
View all

Badges

View all badges
2
gold badges
31
silver badges
51
bronze badges

Top tags

View all tags
1,351
Score
944
Posts
78
Posts %
680
Score
465
Posts
38
Posts %
521
Score
364
Posts
30
Posts %
340
Score
246
Posts
20
Posts %
320
Score
84
Posts
7
Posts %
166
Score
79
Posts
7
Posts %

Top posts

View all questions, answers, and articles
answer
45
How to compare two functions for extensional equivalence, as in (λx.2*x) == (λx.x+x)?
Sep 13, 2017
answer
16
Why are Float and Double different in the case of adding 0.1 and 0.2?
Feb 17, 2017
answer
14
How to test Haskell objects for reference equality?
Mar 30, 2022
answer
13
Dart Convert IEEE-11073 32-bit FLOAT to a simple double
Mar 25, 2020
answer
13
Floating-point number multiplication: a * 1.0 == a guaranteed?
Nov 19, 2019
answer
13
Are floating point SMT logics slower than real ones?
Feb 3, 2019
answer
12
Symbolic theory proving using SBV and Haskell
Jul 8, 2015
answer
12
Can GHC warn if class instance is a loop?
Sep 4, 2012
answer
11
Without unwinding, translate a simple while loop iteration into SMT-LIB formula to prove correctness
Aug 7, 2022
answer
11
Trying to find all solutions to a boolean formula using Z3 in python
Aug 3, 2020