PrototypeCommon
advancedresearch/poi
a pragmatic point-free theorem prover assistant
- Owner
- advancedresearch (organization)
- Stars
- Stars: 143
- Forks
- Forks: 7
- Language
- Rust
- License
- Apache-2.0
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by advancedresearch
All 2 repos by advancedresearch- advancedresearch/path_semanticsStars: 185RustPrototype
Nearby in Rust
All Rust repos- Win-Hao/ModelLinkStars: 143RustPrototype
- anglee0323/agy-switchStars: 143RustPrototype
- LambdaBytes/spingStars: 143RustPrototype
- PistonDevelopers/hematite_serverStars: 143RustPrototype
- polydraw/polydrawStars: 143RustPrototype
- flier/rust-fasthashStars: 143RustPrototype