• Name: José Pedro Correia
• Email: zepedro.correia AT gmail DOT com

Current Project:

• Point-Free Proof Editor: This project is about developing a tool to visualize and interactively manage "point-free"-style proofs.
  • You can read more about it here.
  • You can checkout the module PUReTools? /ProveIt from the CVS to see how it's going. You'll need ghc and the corresponding version of wxHaskell.