Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Pocket_prover

A fast, brute force, automatic theorem prover for first order logic
Stars
27
License
mit
Open Issues
10
Most Recent Commit
a year ago
Programming Language
Rust
Total Downloads
cargo pocket_prover Downloads
Dependent Repos
1
Dependent Packages
2
Total Releases
27
Latest Release
October 07, 2022
Categories
Repo
Alternatives To Pocket_prover
Select To Compare
Dirsearch ⭐ 11,165
Web path scanner
total releases 8most recent commit a month ago
Bruteshark ⭐ 2,685
Network Analysis Tool
most recent commit a year ago


Suggest An Alternative To pocket_prover
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Rust
Brute
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.