generate inclusion proofs
Showing
- case_studies/tests/src/trait_deps.rs 64 additions, 58 deletionscase_studies/tests/src/trait_deps.rs
- rr_frontend/radium/src/coq/command.rs 20 additions, 0 deletionsrr_frontend/radium/src/coq/command.rs
- rr_frontend/radium/src/specs.rs 144 additions, 17 deletionsrr_frontend/radium/src/specs.rs
- rr_frontend/translation/src/lib.rs 78 additions, 15 deletionsrr_frontend/translation/src/lib.rs
- rr_frontend/translation/src/shims/registry.rs 5 additions, 0 deletionsrr_frontend/translation/src/shims/registry.rs
- theories/rust_typing/automation.v 15 additions, 1 deletiontheories/rust_typing/automation.v
- theories/rust_typing/automation/solvers.v 32 additions, 25 deletionstheories/rust_typing/automation/solvers.v
- theories/rust_typing/functions.v 2 additions, 2 deletionstheories/rust_typing/functions.v
Loading
Please register or sign in to comment