/SepLogicTypeclasses

Coq development using typeclasses for specification of object-oriented code with templates (C++) or generics (Java, Rust).

Primary LanguageCoq

No issues in this repository yet.