Personal Info:
- 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.