Skip to content
Snippets Groups Projects
Commit fc717f6b authored by Simon Friis Vindum's avatar Simon Friis Vindum
Browse files

Add soundness lemma for envs_clear_intuitionistic

parent 213ebbd2
No related branches found
No related tags found
Checking pipeline status