Skip to content

RobArthan/pp

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

ProofPower

Join the chat at https://gitter.im/proofpower-dev/Lobby

ProofPower is a suite of tools for specification and proof in HOL and Z.

ProofPower is distributed as an open source product under the GNU GPL.

ProofPower is also known as OpenProofPower.

See the ProofPower web pages for more information.

(c) Copyright Lemma 1 Ltd.

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