Inductive Beluga: Programming Proofs.

Brigitte Pientka, Andrew Cave

Browse the full CADE paper archive.