Skip to main content
Computer Science
Борат Сагдиев's user avatar
Борат Сагдиев's user avatar
Борат Сагдиев's user avatar
Борат Сагдиев
  • Member for 4 years, 6 months
  • Last seen more than a month ago
  • Almaty, Kazakhstan
Profile Activity

19 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Teacher
answered
Free description of the Kameda-Weiner algorithm?
awarded
 Excavator
revised
Prove NP-completeness of deciding satisfiability of monotone boolean formula
improve formatting
suggested
Approve
Prove NP-completeness of deciding satisfiability of monotone boolean formula
accepted
Prove simple theorems in Haskell in automated way
comment
Prove simple theorems in Haskell in automated way
Notice we didn't call smtFunction. We could've; but we didn't need to. - am I understanding correctly that we didn't need to only because sumToN is already defined using smtFunction?
comment
Prove simple theorems in Haskell in automated way
I do not follow the example, but that aside, I am not interested in writing the proof myself (as it seems you have done in your example).
comment
Prove simple theorems in Haskell in automated way
Thanks @jmite, this seems to be what I need.
revised
Prove simple theorems in Haskell in automated way
added 19 characters in body
asked
Prove simple theorems in Haskell in automated way
awarded
 Editor
revised
Lambda calculus without free variables is as strong as lambda calculus?
fixed typo, grammar
awarded
 Scholar
awarded
 Supporter
suggested
Approve
Lambda calculus without free variables is as strong as lambda calculus?
accepted
Lambda calculus without free variables is as strong as lambda calculus?
awarded
 Student
asked
Lambda calculus without free variables is as strong as lambda calculus?