Sign inSign up

benmandrew/prop-goal-weakening

By benmandrew

•Updated 5 months ago

"Weakening Goals in Logical Specifications" — ABZ 2025 Doctoral Symposium Paper

Image
0

651

benmandrew/prop-goal-weakening repository overview

GitHub link: https://github.com/benmandrew/prop-goal-weakening⁠

Tag summary

Content type

Image

Digest

sha256:480dcaca2…

Size

874.9 MB

Last updated

5 months ago

docker pull benmandrew/prop-goal-weakening