Harpoon

MaRDI QIDQ1350651swMATHFDO

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