feat: Proof refactoring suggestions (#5812) · dafny-lang/dafny@64f5715

Triggered via push October 18, 2024 10:18

Status Success

Total duration 45s

Artifacts 1

jekyll.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	2.86 MB