完成Lean的教学游戏世界

林一二2024年05月28日 19:16

学Lean 我的求知欲

Undefined widget 'supertag-form'

Code
https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/

https://adam.math.hhu.de/#/g/hhu-adam/robo