Tweetovi

Blokirali ste korisnika/cu @boarders__

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @boarders__

  1. Prikvačeni tweet
    27. lis 2019.

    Here is my first blog post about the locally nameless approach to substitution:

    Poništi
  2. 31. sij
    Poništi
  3. 7. sij

    lest your reach exceed your grasp

    Poništi
  4. 18. srp 2019.

    Test to check if something is a derangement :)

    Poništi
  5. 3. srp 2019.

    Agda's extremely liberal syntax is just so pleasant.

    Poništi
  6. 9. sij 2017.

    too much nlab: "A set? Oh, well, it is just the skeleton of a groupoid enriched in truth values"

    Poništi
  7. 25. pro 2013.

    I got hodge theory: the game for christmas in which players move around the board using the lefschetz operator to collect all the cohomology

    Poništi
  8. 2. ruj 2013.
    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·