Skip to content

word_lib+crefine: move lemmas to Word_Lib #2768

word_lib+crefine: move lemmas to Word_Lib

word_lib+crefine: move lemmas to Word_Lib #2768

GitHub Actions / File annotations for theory linter succeeded Mar 16, 2024 in 0s

File annotations for theory linter