edukera

edukera 致力於數學演示的教育應用。學生通過使用簡單直觀的網絡界面，充分練習，從而發展邏輯推理技能。他們也在開發 Tezos 區塊鏈上編寫智能合約的 Archetype 語言。