I have been mostly using F* for the last few years, so starting my last day @Inria tomorrow by having a look at Coq with Ltac2 will be a fun ;)
Coq 8.11.0 has been released! It introduces Ltac2 tactic language and primitive IEEE 754 floats. A summary and packages for Windows & macOS are available at https://github.com/coq/coq/releases/tag/V8.11.0 …. An opam release is underway. Many thanks to the Coq team and the release manager P.-M. Pédrot!
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.