alexjbest

Name:Alex J Best

Clan:Boston University

Member Since:Apr 2020

Last Seen:May 2021

Profiles:

Following:129

Followers:129

Allies:128

- monadius
- commented on "Triple negation" kata
The Coq version of this kata requires a constructive proof.
- khanh93
- commented on "Triple negation" kata
Yeah, I think it would be somewhat interesting, but might also have negative side effects of spreading the misconception that constructive code is central to interactive theorem proving.
- khanh93
- commented on "Triple negation" kata
This comment is hidden because it contains spoiler information about the solution
- user8436785
- commented on "Triple negation" kata
which solution?
This comment is hidden because it contains spoiler information about the solution
- kbuzzard
- commented on "Show that a unital commutative ring cannot have exactly 5 units." kata
This comment is hidden because it contains spoiler information about the solution
This comment is hidden because it contains spoiler information about the solution
This comment is hidden because it contains spoiler information about the solution