Stefan Wils

I have just created this namespace to publish my VSCode/VSCodium extension called "Markdown Scripture". The namespace is the same as the publisher I use for VSCode Marketplace.

The main thing with supporting std++ 1.7 and Coq 8.15.0 was another typeclass resolution problem. In the 4 refinement goals, it resolves to `(@ptr_type_check K (@rank_eq_dec K (@int_coding K (@env_type_env...