Skip to content

tunntun/tptp-verifier-network

Repository files navigation

Readme

About

Verifier network for Automated Theorem Proving (ATP) derivations using GDV verifier, and decentralized certification.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors