Home

Jump to bottom

Cris Perdue edited this page Mar 7, 2020 · 16 revisions

Welcome to the Prooftoys wiki

Most user-oriented documentation for Prooftoys is on the main website at http://prooftoys.org/.

This Wiki contains miscellaneous notes, some work in progress, and some technical information.

There is also an older blog at http://blog.mathtoys.org/.