LibHunt
Rocq Prover
Topics
Categories
coq
Formal Verification
rocq
coq-library
Formal Methods
ssreflect
Compiler
mathcomp
coq-formalization
rocq-prover
hardware-description-language
Distributed Systems
formal-specification
proof-assistant
Proof
Related
rocq
rocq-prover
jacobian
tla-plus
satisfiability
mathlib
vera
automated-theorem-proving
spark-ada
tla-specification
formal-semantics
everest
isabelle-hol
protocol-parser
Hol
Related
Optimization
Assembly
Lisp
DSL
Ast
X86
Macros
x86-64
Transpiler
scripting-language
Assembler
Bytecode
programming-languages
JIT
Metaprogramming
Related
Erlang
Distributed Computing
Clustering
Stream Processing
actor-model
Actors
Orchestrator
object-storage
Scalable
durable-execution
Lock
fault-tolerance
Micro
workflow-management
distributed-storage
Related
bluespec
Related
sel4-proofs
formalisation
advanced-calculus
Topics
Trending
Popularity
Index
Add a project
About
All DEVs
Rocq Prover DEVs
Rocq Prover /DEVs
The reverse job board
Find and hire software developers and professionals with Rocq Prover experience.
List your profile to receive offers and be recognized amongst our Rocq Prover community.
Add my profile
Our
/DEVs
section is new and there are no registered Rocq Prover professionals yet.
Add my profile
Browse all devs
Loading...