Skip to content
Snippets Groups Projects
Unverified Commit 878d47e8 authored by Lennard Gäher's avatar Lennard Gäher
Browse files

more tactics for manual proofs

parent 12f32567
No related branches found
No related tags found
1 merge request!9More tactics for manual proofs
Pipeline #94758 passed