Skip to content
Snippets Groups Projects

Add induction principle for `tele_arg`.

Merged Robbert Krebbers requested to merge robbert/tele_arg_ind into master
Status
Pipeline
Created by
Stages
Passed

00:04:10

avatar
Download artifacts

No artifacts found

Failed

00:04:14

avatar
Download artifacts

No artifacts found

Loading