For an introduction to Coq, read the Tutorial .
You may choose an exercice of initiation,
or an exercise taken from the Coq Tutorial de Coq,
or an exercise among those proposed and proved by users,
or you can give your statement (in Coq syntax for the time being...):
If you prove it, it will possibly appear in the set of exercises proposed by the users...
This page is not in its usual appearance because WIMS is unable to recognize your web browser.
Please take note that WIMS pages are interactively generated; they are not ordinary HTML files. They must be used interactively ONLINE. It is useless for you to gather them through a robot program.
Description: interactive proofs of first order logic. This is the main site of WIMS (WWW Interactive Multipurpose Server): interactive exercises, online calculators and plotters, mathematical recreation and games
Keywords: wims, mathematics, mathematical, math, maths, interactive mathematics, interactive math, interactive maths, mathematic, online, calculator, graphing, exercise, exercice, puzzle, calculus, K-12, algebra, mathématique, interactive, interactive mathematics, interactive mathematical, interactive math, interactive maths, mathematical education, enseignement mathématique, mathematics teaching, teaching mathematics, algebra, geometry, calculus, function, curve, surface, graphing, virtual class, virtual classes, virtual classroom, virtual classrooms, interactive documents, interactive document, logic, logic, proof