DIUM/CCTC
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.

r3 - 11 Jul 2005 - 19:35:41 - JosePedroCorreia
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM