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