Proofs as Programs with BelugaΒΆ

Note

This section of the documentation is unfinished.