I've finished updating Lean for Hackers for tonight: https://agentultra.github.io/lean-for-hackers …
Follow along and you'll learn how to setup Lean and dive right into "Hello, world!" and "Hello, ${name}". This is a guide for hackers so I skip the theory and get straight to it.
#LeanProver
20:22 - 6. 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.