C

coq

Projects with this topic

R

Dan Frumin / ReLoC-v1

OLD VERSION, SEE https://gitlab.mpi-sws.org/iris/reloc INSTEAD

Topics: iris logical rela... coq

1

Updated Dec 29, 2022

1 0 0 1

Updated Dec 29, 2022