Beluga-lang / BelugaLinks

Contextual types meet mechanized metatheory!
191Updated last month

Alternatives and similar repositories for Beluga

Users that are interested in Beluga are comparing it to the libraries listed below

Sorting: