Proofs as Programs with Beluga
ΒΆ
Note
This section of the documentation is unfinished.
Beluga
Navigation
Installation
Common elements
Interactive Proving with Harpoon
Proofs as Programs with Beluga
Related Topics
Documentation overview
Previous:
Structured Proof Script Language
Quick search