Lean资源

最新推荐文章于 2024-09-02 15:48:43 发布
最新推荐文章于 2024-09-02 15:48:43 发布
阅读量516 收藏 5
点赞数 10
文章标签： vscode
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/2301_76840743/article/details/139203322
版权

教材

  1. 入门教材：Theorem Proving in Lean 4 - Theorem Proving in Lean 4 by Jeremy Avigad
  2. 补充了很多逻辑学基础的教材：Logic and Mechanized Reasoning — Logic and Mechanized Reasoning 0.1 documentation by Jeremy Avigad
  3. Formalising Mathematics — Formalising Mathematics 0.1 documentation by Kevin Buzzard。Part C是tactics的集锦，可以在忘记怎么用一些tactic的时候拿来看看。
  4. 功能非常齐全的使用手册：Functional Programming in Lean - Functional Programming in Lean by David Thrane Christiansen

Standard Library

lean4/src/Init at master · leanprover/lean4 · GitHub

Online Community

Lean community 包含了Lean论坛，博客，以及安装指南等全方位内容

乌萨鸽
关注
  • 10
    点赞
  • 踩
  • 5
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
K2P备用软件源PandoraBox潘多拉固件OpenWrt by Lean资源服务器
12-12
这个问题让我头疼很久，感谢服务器拥有者提供的备用软件源地址，新测可用，我用的固件是R7.4.1 By Lean
Lean图片.zip
08-23
5. **精益原则在图像处理中的应用**：在开发图像处理软件或系统时，采用精益原则可以减少不必要的步骤，提高处理速度，优化资源使用，例如通过减少计算量、优化算法来提高效率。 6. **图像压缩**：由于图像数据量...
lean的一些资源
andeyeluguo的博客
12-30 664
国内研究lean的相对也少，介绍一下。
探索精益之美：Lean 4 教程资源库
gitblog_00016的博客
06-02 465
探索精益之美：Lean 4 教程资源库 tutorialsSome Lean tutorials项目地址:https://gitcode.com/gh_mirrors/tutorials22/tutorials 项目介绍 在编程世界中，对逻辑严谨和证明准确性的追求从未停止。 Lean 是一个强大的形式化验证环境，它将现代编程语言的便利性与数学定理证明的力量结合起来。然而，学习这样的工具往往需要合...
Lean4Game 开发教程 | 数学形式化
qq_39517117的博客
06-28 769
这类游戏不仅利于对 Lean 本身的学习，对学科知识的理解，还能推动数学圈内人对 Lean 的接触学习。接下来我们将粗略介绍游戏中的高级交互功能。首先，安装 Node.js 和 npm，然后下载 Lean4Game，并将其放在游戏的。社区官网目前贴了自然数和集合论等游戏，也欢迎根据自己的学科知识，贡献更多的游戏~可以在游戏的任何层级（游戏/世界/关卡）添加图片，这些图像将显示在游戏中。Lean4Game 是游戏的前后端框架，用于创建游戏的主页面。前的注释将作为练习的描述显示在游戏中，且支持 Latex。
unity 使用LeanTouch拖动cube移动 2d屏幕坐标转3d世界坐标
cuijiahao的专栏
11-07 768
1.在unity自带的asset store搜索 Lean touch ，然后找到对应的资源，然后全部都导入到项目中。 2.点击菜单栏GameObject->Lean->Touch。 3.将下面的代码拖到想移动的cube上 using System.Collections; using System.Collections.Generic; using UnityEngine; using Lean.Touch; using System; public class DragCube
Lean Touch+的深入学习与用法
06-23
- **安装与导入**：下载 Lean Touch+ 资产后，将其解压导入Unity项目，资源会自动添加到Project面板中。 - **配置设置**：在Inspector窗口中，可以调整 Lean Touch+ 的全局设置，如触摸灵敏度、触摸阈值等。 - **...
Lean Enterprise
10-31
《Lean Enterprise: How High Performance ...这本书是任何希望在快节奏和不断变化的市场中保持竞争力的商业领导者的宝贵资源。通过精益思想和实践，组织可以实现更高效的运作，更快的创新，从而在市场中取得成功。
Unity LeanTouch插件
08-23
导入后，你可以在项目资源中找到相关的脚本和预设，将它们拖放到你的游戏对象上，或通过脚本实例化和配置。 为了充分利用LeanTouch的功能，你需要了解如何设置其组件的属性，如灵敏度、阈值等，并学习如何在C#脚本...
vscode使用
Q_004的博客
08-30 1133
备注：有人使用"vue",我开始也试了vue，不知道为啥不可以，改成html就可以了。点击文件-》首选项-》设置 或者直接快捷键ctrl+，在搜索框中输入settings.json,打开此文件。重新打开vscode就可以i了。添加对.vue文件的配置。
HPM5301系列--VSCODE开发环境问题修复(一)
coderma的博客
08-27 904
解决CMAKE_BUILD_TYPE值大小写问题
Cubemx生成的MDK文件，用vscode的EIED插件开发，会找不到头文件
2303_76872898的博客
08-28 285
避坑，在生成文件的时候，不要选生成所有的文件。选第二个，就可以解决问题了，成功编译。
vscode添加到环境变量之快捷使用
m0_56741459的博客
08-29 549
将 VSCode 添加到环境变量中，主要是为了方便在命令行中全局调用code命令，从而更高效地打开和编辑文件或项目，提升开发效率，尤其是在命令行和编辑器结合的工作流中。
如何在VSCode中同时打开多个页面？
seasonsyy的博客
09-02 434
如何在VSCode中同时打开多个页面？
实时计算：Apache Flink：Flink与Kafka集成实现事件驱动架构.docx
09-02
实时计算：Apache Flink：Flink与Kafka集成实现事件驱动架构.docx
移动软件开发实验五：高校新闻
09-02
移动软件开发实验五：高校新闻
分布式存储系统：Google Cloud Storage：GoogleCloudStorage架构解析.docx
09-02
分布式存储系统：Google Cloud Storage：GoogleCloudStorage架构解析.docx
基于现有explorer文件资源管理，实现跨平台告诉多标签页文件资源管理器，类似360文件管理器等，还处于起步阶段
最新发布
09-02
基于现有explorer文件资源管理，实现跨平台告诉多标签页文件资源管理器，类似360文件管理器等，还处于起步阶段
lean3 lean4
09-22
"Lean3"和"Lean4"分别指的是两个不同的软件开发方法论——"精益开发"和"精益敏捷开发"。 "精益开发"（Lean3）是一种注重减少浪费、提高价值流的软件开发方法论。它灵感来自于丰田生产系统中的精益生产理念，旨在通过减少资源浪费、提高生产效率来迅速交付高质量的软件产品。精益开发强调对客户需求的深入理解，通过持续改进、流程优化和团队协作来提高软件开发的效率和质量。 相比之下，"精益敏捷开发"（Lean4）则是在精益开发的基础上融合了敏捷开发的概念和实践。精益敏捷开发强调快速、灵活地响应变化的需求，并通过迭代、循序渐进的方式来交付可工作的软件。它鼓励团队成员之间的紧密合作、面对面的沟通和自我组织，以实现更高的生产力和更快的市场响应能力。 总的来说，"精益开发"注重于流程优化和价值交付，而"精益敏捷开发"更加强调快速响应需求和团队合作。两种方法论都试图在软件开发过程中通过提高效率、质量和客户满意度来取得成功。具体使用哪种方法论通常取决于项目的需求和团队的偏好。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值