Harpoon

swMATH43619MaRDI QIDQ1350651FDOQ1350651

Author name not available (Why is that?)

Official website: https://beluga-lang.readthedocs.io/en/latest/harpoon/index.html

Source code repository: https://github.com/Beluga-lang/Beluga/blob/master/harpoon.md

Described by source

• Harpoon: mechanizing metatheory interactively

This page was built for software: Harpoon