Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description).

Brigitte Pientka, Jana Dunfield

Browse the full CADE paper archive.