case_studies/minivec/output/minivec/.gitignore

...udies/minivec/output/minivec/proofs/proof_Vec_T_get_mut.v

.../tests/output/tests/proofs/proof_traits_foo_call_foobar.v

...tests/output/tests/proofs/proof_traits_foo_call_foobar2.v

case_studies/tests/src/char.rs

case_studies/tests/src/closures.rs

case_studies/tests/src/consts.rs

case_studies/tests/src/lib.rs

case_studies/tests/src/option.rs

case_studies/tests/src/references.rs

case_studies/tests/src/traits.rs

case_studies/tests/src/vec_client.rs

docs/SPEC_FORMAT.md

rr_frontend/Cargo.lock

rr_frontend/Cargo.toml

rr_frontend/dune-project

rr_frontend/radium/Cargo.toml

rr_frontend/radium/src/code.rs

rr_frontend/radium/src/coq.rs

rr_frontend/radium/src/specs.rs