Pages that link to "Rocq"
← Rocq
The following pages link to Rocq:
Displaying 34 items.
- Classification of finite simple groups (← links)
- Functional programming (← links)
- ML (programming language) (← links)
- Timeline of programming languages (← links)
- Presburger arithmetic (← links)
- OCaml (← links)
- Dyadic rational (← links)
- Busy beaver (← links)
- Vladimir Voevodsky (← links)
- List of programming languages by type (← links)
- Andrei Alexandrescu (← links)
- Intuitionistic logic (← links)
- Cog (← links)
- Division by zero (← links)
- Cons (← links)
- QED manifesto (← links)
- Bertrand Meyer (← links)
- LTAC (← links)
- French Institute for Research in Computer Science and Automation (← links)
- Intuitionistic type theory (← links)
- List of mathematical logic topics (← links)
- Axiom (computer algebra system) (← links)
- Constructive logic (← links)
- First-class citizen (← links)
- Buchberger's algorithm (← links)
- Setoid (← links)
- Disjoint-set data structure (← links)
- Normal form (natural deduction) (← links)
- SIGPLAN (← links)
- Proof assistant (← links)
- Corecursion (← links)
- Model-based testing (← links)
- Extensible programming (← links)
- Predicate transformer semantics (← links)