Skip to content
Proof PR

Improve reasoning for linked lists #3159

Sign in to view logs

Improve reasoning for linked lists

Improve reasoning for linked lists #3159

GitHub Actions / File annotations for theory linter succeeded Feb 12, 2025 in 1s

File annotations for theory linter

View more details on GitHub Actions