New version of natural number game: http://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/ … v1.01 -- `exact` tactic gets the chop! Thank you *so much* to all the people who sent feedback about the original rather raw version. The poorly-explained stuff has been removed. New version is a coherent game.
Come and talk about it on the natural number game thread in the new members stream at the #leanprover chat at Zulip https://leanprover.zulipchat.com . Someone there will be able to tell what is and isn't easy right now.
-
-
Thanks!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.