Inductive Types
ΒΆ
Attention
This page is a stub.
Beluga
Navigation
Getting Started
Common elements
The Logical Framework LF
Contextual LF
LF Subordination
Inductive Types (stub)
Interactive Proving with Harpoon
Related Topics
Documentation overview
Common elements
Previous:
LF Subordination
Next:
Interactive Proving with Harpoon
Quick search