Skip to content
Snippets Groups Projects

Remove all uses of legacy `apply` in Proof Mode

Open Robbert Krebbers requested to merge robbert/resolve_tc into master
Loading