hax-lib-0.2.0
- hax-lib 0.2.0
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- franziskuskiefer
- github:cryspen:tools
- Dependencies
- hax-lib-macros =0.2.0 normal optional
  
  num-bigint ^0.4.3 normal
  
  num-traits ^0.2.15 normal
- Versions
- 24.62% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

hax_lib0.2.0

Module coq

Module Items

Attribute Macros

In crate hax_lib

Module coq

Expand description

Procedural macros for coq

Attribute Macros§

after
before
replace