The ‘congruence and proof’ digital book is being translated into Japanese and Chinese. The English version is ready and the blog is showcasing some of the elements by publishing the screencasts that appear in the book to support students and teachers. Here is the one on the last pages of the book. These pages contain embedded flowchart proofs.
Posted By : Christian Bokhove