lemma-engine-0.8.15
- lemma-engine 0.8.15
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- benrogmans
- Dependencies
- async-trait ^0.1 normal
  boolean_expression ^0.4 normal
  chrono ^0.4 normal
  indexmap ^2.0 normal
  num-integer ^0.1 normal
  num-rational ^0.4 normal
  postcard ^1 normal
  reqwest ^0.13 normal optional
  rust_decimal ^1.33 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  sha2 ^0.10 normal
  insta ^1.34 dev
  proptest ^1.4 dev
  tokio ^1.39.2 dev
  console_error_panic_hook ^0.1 normal
  gloo-net ^0.6 normal
  js-sys ^0.3 normal
  serde-wasm-bindgen ^0.6 normal
  wasm-bindgen =0.2.121 normal
  wasm-bindgen-futures ^0.4 normal
- Versions
- 39.97% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

Module stdlib

lemma0.8.15

Module stdlib

Module Items

Constants

In crate lemma

Module stdlib

Expand description

Embedded SI stdlib loaded at compile time from SI_LEMMA.

Constants§

SI_LEMMA