advancedresearch/pocket_prover
A fast, brute force, automatic theorem prover for first order logic
RustMIT
Stargazers
- 0xalpharush@trailofbits
- adamnemecekngrid.io
- bhgomes@mvup
- boitsov14
- bvssvniCutout Pro
- dani-who-likes-engineering
- dec0dOS
- degatchiyour binary xo
- dmgolembiowskiSenior Rust Software Consultant at Accelerant
- Eastwooder
- ebigram
- Horizon42
- jdeeny
- jonysySt. Elsewhere
- joshmarlowChattanooga TN
- laglekiThe Logical Language Group
- Liby99University of Pennsylvania
- manguluka
- marc2332Barcelona, Spain
- mobile-bungalow
- ndemonnerMotor
- nikitavoloboevTbilisi
- norregaardenDenmark
- pcaversaccio@daita-technologies
- philipahlbergDenmark
- pro465India
- PrometheusPiHZDR @ComputationalRadiationPhysics
- Rjected
- seanjensengreySeattle, WA
- shipeng331
- tekakutlilatent space
- thanhtoan1196
- tkersey@thisisartium
- willdathrill
- YANG-Er2