edukera

edukera 致力于数学演示的教育应用。学生通过使用简单直观的网络界面，充分练习，从而发展逻辑推理技能。他们也在开发 Tezos 区块链上编写智能合约的 Archetype 语言。