Linyxus

Name:Yichen Xu

Clan:BUPT

Skills:haskell, python, coq, c++

Member Since:Dec 2018

Last Seen:Dec 2022

Profiles:

Following:270

Followers:270

Allies:270

- checkersai
- commented on "Unique In Order" haskell solution
- 16 months ago
This comment is hidden because it contains spoiler information about the solution
- ejini战神
- commented on "A+A=B+B so A=B? Prove it!" kata
- 5 years ago
你牛逼~~~
- Linyxus
- commented on "A+A=B+B so A=B? Prove it!" kata
- 5 years ago
冰冰说的有道理！（逃
- ice1000
- commented on "A+A=B+B so A=B? Prove it!" kata
- 5 years ago
But there isn't yet a way to do this, is it?
- Linyxus
- created a suggestion for "A+A=B+B so A=B? Prove it!" kata
- 5 years ago
I in person believe that this Kata in Coq is not that interesting unless the use of lia & omega is prohibited.
- mzedeler
- commented on "Unique In Order" haskell solution
- 6 years ago
Can someone please explain this? (I'm mostly curious about the last line.)