Af2-Proof-Assistant Af2 Proof Assistant   Science - Math - Logic and Foundations - Computational Logic




  • Name:

     

  • Institution:

    Af2 Proof Assistant

  • Position:

  • Location:

     

  • Field of Science:

    Science - Math - Logic and Foundations - Computational Logic

  • Website / Blog:

    www.lama.univ-savoie.fr/sitelama/Membres/pages_web//RAFFALLI/af2.html

  • Online Status: status







    		•

    • About my Work: 


      Af2 Proof Assistant - A type system based on second order intuitionistic logic.

      The PhoX Proof Assistant

    • Projects: 


    • Vita / Publications: 


    • Grants and Awards: 


    • About my Institution: 


    • Additional Information: 


      		•

     

































     

    Powered free by PHPmotion