Tests: Proof - Ximera

Get Help
Contact my instructor
Request help using Ximera Report bug to programmers

Profile Supervise Logout

Sign In with Google Sign In with Twitter Sign In with GitHub

Updated Version Available

There is an updated version of this page. How would you like to proceed?

Update to the new version.

ximeraexamples
Tests: Proof

Main Part

Proof Base Useage

A demo/test for basic Proof useage.

You can download a Certificate as a record of your successes.

Courses

About

Development Team

Social

Built at The Ohio State UniversityOSU with support from NSF Grant DUE-1245433, the Shuttleworth Foundation, the Department of Mathematics, and the Affordable Learning ExchangeALX.

© 2013–2025, The Ohio State University — Ximera team

100 Math Tower, 231 West 18th Avenue, Columbus OH, 43210–1174

Phone: (773) 809–5659 | Contact

If you have trouble accessing this page and need to request an alternate format, contact ximera@math.osu.edu.