Skip to content
Snippets Groups Projects
Commit 8f7b7c5f authored by Hans-Jörg's avatar Hans-Jörg
Browse files

Start work on formal semantic: valid proofs

parent d92b8e61
No related branches found
No related tags found
No related merge requests found
Pipeline #7202 passed