Skip to content

WORD_SIMPLE_SUBWORD_CONV and related lemmas #99

WORD_SIMPLE_SUBWORD_CONV and related lemmas

WORD_SIMPLE_SUBWORD_CONV and related lemmas #99

Annotations

2 warnings

OCaml 4.14, Camlp5 8.03 (make switch)

succeeded Oct 23, 2024 in 14m 19s