rem-verification-0.1.1
- rem-verification 0.1.1
- Permalink
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- RuleBrittonica
- Dependencies
- clap ^4.5.31 normal
  config ^0.15.9 normal
  flexi_logger ^0.31.7 normal
  log ^0.4.26 normal
  regex ^1.11.1 normal
  rem-utils ^0.2.1 normal
  serde ^1.0.218 normal
  tempfile ^3.13 dev
- Versions
- 19.05% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Module verify

rem_verification0.1.1

Module verify

Module Items

Functions

In crate rem_verification

rem_verification

Module verify

Functions§

coq_verification: Returns the paths to: