metamath-rs-0.3.8
- metamath-rs 0.3.8
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- digama0
- Dependencies
- annotate-snippets ^0.9 normal
  
  dot-writer ^0.1.2 normal optional
  
  filetime ^0.2 normal
  
  fnv ^1.0 normal
  
  itertools ^0.12 normal
  
  log ^0.4 normal
  
  regex ^1.5 normal
  
  tinyvec ^1.5 normal
  
  typed-arena ^2.0 normal
  
  xml-rs ^0.8.14 normal optional
  
  assert_matches ^1.5 dev
- Versions
- 100% of the crate is documented
Platform
Feature flags

docs.rs

Rust

metamath_rs0.3.8

Module export

Module Items

Enums

In crate metamath_rs

Module export

Expand description

Export support for mmj2 proof files.

Enums§

ExportError: The error type for Database::export_mmp.