Skip to main content

>_Programming Tutorials

Languages Fundamentals

Languages
Rocq

Rocq

Rocq is a programming language that first appeared in 1989.

First appeared: 1989
Reference: Wikipedia article

Not yet on the curriculum

There are no Rocq lessons yet. The ideas that carry across every language, such as variables, control flow and functions, are covered in Fundamentals. For a full track to see how lessons are structured, start with Python.

Open source tutorials, written against specific language versions.

Source on GitHub