网站地图官方微信:
网站首页 包装用纸 包装成型机械 圆规 荧光笔 修正带 文件柜

当前位置: 首页 >

如何系统地学习Lean语言?

我就默认你学的是Lean4了。

可以试着玩玩下面两款交互式证明游戏: The Natural Number Game 这款是自然数游戏,作者是Kevin Buzzard(就是那个大力推广Lean4的数学家,现在正在领导形式化费马大定理的项目),让你使用Lean4从皮亚诺公理构造自然数算术和几个基础的运算律。

The Set Theory Game 这一款是集合论游戏,让你熟悉如何用Lean4进行涉及集合论的证明。

上面两款小游戏可以带你快速熟悉Lean4策略模式的用法,不过对数学…。

如何系统地学习Lean语言?

  • | 请问有人能估计一下 go 相比 php 在不同用户量下能省多少钱吗? |

    用webman重写了公司老旧的TP项目,管理后台这种几乎也没...

    查看详情>>
  • | 如何评价张靓颖刘宇宁《九万字》? |

  • | 能够自己一个人创业的全栈web码农fullstack developer要会哪些技术? |

  • | 国家为什么特别青睐雷军? |

  • | 中国人口正经历前所未有大转折,如何看待中国人口负增长?应该怎样应对? |

  • | 胸大的女孩会自卑 吗? |

  • | 墨脱水电站建设有什么进展? |

  • | Node.js是谁发明的? |

  • | postgres集群的选择? |

  • | 大家猜猜伊朗的结局如何? |

  • | php这个岗位在未来几年会消失吗,因为刚从事php有点焦虑? |

  • 这种库其实只是在特定情况下提升了下内存分配效率,很难有提升的...

    2025-06-21
  • 韩寒在10年前后搞了个杂志叫独唱团。 市场反响很好。 然...

    2025-06-21
  • 飞牛系统(J3455、16G内存) 容器管理:1Panel或...

    2025-06-21
  • 所有 DC 国家的结局都是一样的,食利阶层规模越来越大。 胃...

    2025-06-21

关注我们

添加微信好友,关注最新动态