pages tagged ‘beluga’

  • a few undocumented beluga features (tue 12 jul 2022)

    some undocumented features i found while looking through the source code of the proof language beluga.