Material Detail

I'm looking for people (math educators, developers, mathematicians) interested in joining me in a collaborative voluntary project for the conception and the development of FPL - the "Formal Proving Language". 

FPL is going to have an easy-to-learn syntax while being formal enough to develop tools that can assist you in writing and developing correct mathematical theories. FPL could also be used in mathematical education.

This will delete the comment from the database. This operation is not reversible. Are you sure you want to do it?

Thank you for reporting a broken "Go to Material" link in MERLOT to help us maintain a collection of valuable learning materials.

If you feel this material is inappropriate for the MERLOT Collection, please click SEND REPORT, and the MERLOT Team will investigate. Thank you!

You are being taken to the material on another site. This will open a new window.

Do not show me this again