Masih banyak yang harus dicari tahu tentang bagaimana kita berintegrasi dengan proses berpikir matematikawan manusia, untuk menangkap tujuan pedagogis pembuktian dengan lebih baik, bukan hanya tujuan epistemologis. Tapi saya senang menjadi bagian dari perjalanan ini bersama anggota tim @mathematics_inc lainnya.