donaldsebleung | Codewars

Name:Donald Sebastian Leung

Clan:HKUST

Skills:language agnosticism, functional programming, theorem proving

Member Since:Jan 2016

Last Seen:Apr 2020

Profiles:

Following:662

Followers:625

Allies:277

View Profile Badges

Earn extra honor and gain new allies!

Honor is earned for each new codewarrior who joins.

- donaldsebleung
- commented on "(A+B)+C=A+(B+C)? Prove it!" kata
List of forbidden translations extended to include Lean
- donaldsebleung
- commented on "A*B=B*A? Prove it!" kata
List of forbidden translations extended to include Lean
- donaldsebleung
- commented on "Odd + Even = Odd? Prove it!" kata
List of forbidden translations extended to include Lean
- FArekkusu
- resolved a suggestion on "Find the area of the rectangle!" kata
- stɛffan153
- resolved a suggestion on "Multiply" kata
Your solution isn't showing up for some reason. I added one so it wouldn't look weird, but still...
- ice1000
- commented on ""Multiply" Lean Translation"
Approved, it looks funny.
- ice1000
- resolved a suggestion on "Theorem proving hello world: prove a+0=a and 0+a=a" kata
Approved
- donaldsebleung
- created a suggestion for "Theorem proving hello world: prove a+0=a and 0+a=a" kata
Lean Translation Kumited - please accept :-D
- donaldsebleung
- created a suggestion for "Multiply" kata
Lean Translation Kumited - please accept :-D
- Dev. Oliver Prada
- commented on "All Star Code Challenge #18" kata
Excellent!!!
- webmisfit
- commented on "Greatest common divisor" javascript solution
pure magic that you do not need to look for the minimum value
- FArekkusu
- resolved a suggestion on "Two variable simultaneous equations" kata
As of now all x and y values are integers. If some solution doesn't return exact values, it's incorrect.
- FArekkusu
- resolved a suggestion on "Onion array" kata
- ElijahOzhmegov
- commented on "Calculator" python solution
What's the point then to invent a wheel?
- IgorLesnevskiy
- commented on "Molecule to atoms" javascript solution
Well done!

Loading more items...