scrambled
Thoughts
Journeys
Sign in
Sign in
← back to books
Kitchen
/
Journeys
/
Programming Language Theory
/
Logical Foundations
Benjamin C. Pierce et al.
Software Foundations
Benjamin C. Pierce
·
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