Anton Trunov

@falsenov

Coq programmer at ; previously at

Saint Petersburg
Vrijeme pridruživanja: svibanj 2019.

Medijski sadržaj

  1. 14. pro 2019.
    Odgovor korisniku/ci
  2. 24. lis 2019.
    Odgovor korisnicima
  3. 10. ruj 2019.
    Odgovor korisniku/ci
  4. 9. srp 2019.
    Odgovor korisniku/ci

    And we also have coq-community :)

Č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:

    ·