Thanks to visit codestin.com
Credit goes to lib.rs

Lib.rs

› Algorithms
#solver #type-system #structural #set-theoretic

stipe

Owned by Past9.

1 unstable release

Uses new Rust 2024

0.1.0 Dec 1, 2025

#2657 in Algorithms

MIT license

2KB

Set-theoretic structural type system and solver

No runtime deps