« first day (83 days earlier)      last day (1048 days later) » 

Wno-all
Wno-all
20:12
What a shame about rosetta-stone, I don't see how it is any different than what the people over at Code Golf do. It could have been a cool way to get a taste of different proof assistants :(

« first day (83 days earlier)      last day (1048 days later) »