Skip to content
scrambled
Programming Language Theory Flashcard

What are the use cases of rocq?

Books Concepts Deckrocq-programming-language

Question

What are the use cases of rocq?

Answer

  • As a platform to model programming languages.

  • As a tool to write formally certified software and hardware.

  • As a functional programming language with dependent types.

  • As a proof assistant for higher-order logic.