code taken from https://gitlab.mpi-sws.org/iris/lambda-rust
Primary LanguageCoqOtherNOASSERTION
No issues in this repository yet.