What if Agda is your only love, but they make you write Coq at work? Read this: http://geo2a.info/posts/2020-01-03-coq-equational-reasoning.html …
12:36 - 4. sij 2020.
0 replies
9 proslijeđenih tweetova
24 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.