French Open Science Free Software Award Ceremony: The Coq proof assistant is the winner https://www.ouvrirlascience.fr/open-science-free-software-award-ceremony/
Hourra typage statique !
French Open Science Free Software Award Ceremony: The Coq proof assistant is the winner https://www.ouvrirlascience.fr/open-science-free-software-award-ceremony/
Hourra typage statique !
tiflolinux.org - GNU Social is a social network, courtesy of tiflolinux.org. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.
All tiflolinux.org - GNU Social content and data are available under the Creative Commons Attribution 3.0 license.