Skip to content

GitLab

consistent non-parentheses for Implicit Types

2 jobs for gen_proofmode in 3 minutes and 43 seconds (queued for 4 seconds)
dbb44a40
1 related merge request: !66 Generalized proofmode