proofweb
Project status: UnknownThis repository is dedicated to decompiling and creating a new and improved version of the proving tool ProofWeb
- Target software or hardware
- Work type
- Primary public repository
- github.com/goose-alt/proofweb
Projects are sorted by the latest recorded repository star count. Stars indicate interest, not completion. Missing counts remain unknown.
About and scope
This repository is dedicated to decompiling and creating a new and improved version of the proving tool ProofWeb
Contribution availability
Contribution policy unknown
- AI-assisted contribution policy
- Unspecified
Documented contributor systems
Contributor setup not documented
Reported progress
Progress not reported
Sources, builds and releases
- Open repository · github.comgithub.com/goose-alt/proofweb