Updated the hackers' guide to Lean with a guessing game example: https://agentultra.github.io/lean-for-hackers/ …
#LeanProver
18:29 - 9. sij 2020.
0 replies
0 proslijeđenih tweetova
2 korisnika označavaju da im se sviđa
Č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.