docs.rs failed to build lean-sys-0.0.1
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build:
lean-sys-0.0.6
lean-sys
Rust bindings to Lean 4's C API
Functions and comments manually translated from those in the lean.h header provided with Lean 4