Docs.rs
About
Badges
Builds
Metadata
Shorthand URLs
Releases
Releases by Stars
Recent Build Failures
Build Failures by Stars
Release Activity
Build Queue
Rust
The Book
Standard Library API Reference
Rust by Example
Rust Cookbook
Crates.io
The Cargo Guide
Releases
Crates from Levi Ryffel
Recent
Stars
Recent Failures
Failures By Stars
Activity
Queue
levi-ryffel
l_group_formulas-0.1.0
parsing and encoding l-group (in)equations
0
truncated_free_groups-0.1.0
the ball of radius 2 (tiny) or 3 (normal) in a free group
0
l_group_cnf-0.1.0
meets of joins of free group terms
0
l_group_validity-0.1.0
checking validity of l-group (in)equations
0