Skip to content

RobArthan/pp

About

ProofPower is an open source suite of tools for specification and proof in HOL and Z.

Resources

License

Stars

Watchers

Forks

Packages

No packages published