Artwork for Rocq

Works

Rocq

—

0

—

Works

Rocq

Proof assistant

epic · Q1131652

Part of Programming Languages · 50 cards Source on Wikidata

Related cards · Programming Languages

Artwork for C (programming language)

C (programming language)

Artwork for Lean (proof assistant)

Lean (proof assistant)

Artwork for Rust (programming language)

Rust (programming language)

Artwork for JavaScript

JavaScript

Artwork for C++

C++

Artwork for R (programming language)

R (programming language)

Related cards · Open Science Award for Open Source Research Software

Artwork for OCaml

OCaml

Artwork for Scikit-learn

Scikit-learn

Artwork for Pharo

Pharo

Artwork for PARI/GP

PARI/GP

FAUST (programming language)

Artwork for GNU MPFR

GNU MPFR

Related cards · Programming Languages Software Award

Artwork for Lean (proof assistant)

Lean (proof assistant)

Artwork for Rust (programming language)

Rust (programming language)

Artwork for GNU Compiler Collection

GNU Compiler Collection

Artwork for WebAssembly

WebAssembly

Artwork for OCaml

OCaml

Artwork for Scala (programming language)

Scala (programming language)

Related categories

Programming Languages50 science software121 mathematical software149 open-source software233 programming language1,152 free software3,281

Related facets

Open Science Award for Open Source Research Software10 Programming Languages Software Award16 programming language27 19845,338 19895,528 198047,899 198052,528 France81,900 20255,213 20388,907