The Coq proof assistant

@CoqLang

Coq is a general-purpose proof assistant with applications in software and mathematics verification.

coq.inria.fr
Vrijeme pridruživanja: siječanj 2020.

Medijski sadržaj

@CoqLang još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

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

    ·