Common elementsΒΆ

  • The Logical Framework LF
  • Contextual LF
  • LF Subordination
  • Inductive Types (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
    • Previous: Getting Started
    • Next: The Logical Framework LF

Quick search

©2020, Brigitte Pientka, Jacob Errington, Junyoung Jang, Joshua Dunfield, Andrew Cave. | Powered by Sphinx 1.8.6 & Alabaster 0.7.13 | Page source