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

- Linyxus
- commented on "A+A=B+B so A=B? Prove it!" kata
- 5 years ago
冰冰说的有道理！（逃
- 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.