scrambled
Thoughts
Journeys
Reads
Sign in
Sign in
← back to books
Kitchen
/
Journeys
/
Programming language theory
/
Logical foundations
Benjamin C. Pierce et al.
2010
Software foundations
Benjamin C. Pierce et al.
·
2024
Logical foundations
Benjamin C. Pierce et al.
Concepts
Proof Assistant Prover
Automated Theorem Prover Sat Solver Smt Solver
Rocq Tactic
Rocq Dependent Type
Functional Programming
Content
No content yet.
← Previous chapter
Software foundations
Next chapter →
Chapter 1. basics - functional programming in rocq