Skip to content

GitLab

Another absorbing instance for wand.

2 jobs for gen_proofmode in 7 minutes and 13 seconds (queued for 1 second)
43ee9e86
1 related merge request: !66 Generalized proofmode