Lean_下载资源_代码源码-CSDN下载

lean "Lean"一词在IT行业中通常与精益生产和精益软件开发理念相关，这是一种追求效率、减少浪费的方法论。在软件开发领域，它强调快速迭代、持续改进和客户需求的优先考虑。而"Lua"则是一种轻量级的脚本语言，常用于游戏...

评级：0 浏览量：220 收藏量：0 资源大小：301KB 上传时间：2021-03-26

Lean Touch+ 2.3.5 Unity3D 最新版Lean Touch+ 2.3.5 触摸控制屏幕检测自定义插件 Lean Touch +是流行的Lean Touch的扩展,加入了更多的功能，增加了大量的新组件和演示场景。这些使您可以快速将触摸控件添加到游戏中-无需代码！只需...

评级：5 浏览量：488 收藏量：0 资源大小：2.09MB 上传时间：2022-03-31

Lean Touch 3.0.1 Lean Touch 3.0.1

评级：0 浏览量：240 收藏量：0 资源大小：2.1MB 上传时间：2023-04-01

lean4：精益4编程语言和定理证明者 ** Lean 4编程语言与定理证明者** Lean 4是一种现代、强大的编程语言，同时也是一个先进的定理证明环境。它的设计目标是提供一个既适合编写高效程序又适合形式化数学的工具。Lean 4是Lean系列的最新版本，旨在解决...

评级：0 浏览量：954 收藏量：0 资源大小：10.3MB 上传时间：2021-02-15

S7-200SMART与CP343-Lean模块通讯案例教程 CP343-1 Lean是西门子S7-300系列时代经济型以太网通信模块，因为支持PG/OP协议，常作为上位机与PLC通信在工程中大量应用，但因其支持通信协议相对较少，在后续系统扩展改造中局限性较大。 S7-200 Smart作为西门子...

评级：0 浏览量：113 收藏量：0 资源大小：1.13MB 上传时间：2024-12-19

mathport:从Lean3导出数据构建Lean4 .olean文件的工具 mathport是用于从lean3 .tlean文件构建lean4 .olean文件的工具。状态保留了很多信息，包括（内核）术语，属性（例如，可简化的，类，实例，simp），mixfix表示法，导出声明等。一些定义和定理可以很容易地重述，...

评级：0 浏览量：211 收藏量：0 资源大小：36KB 上传时间：2021-03-20

lean4-experiments:使用Lean 4定理证明者进行的一些初步实验，探索了与HLM交互的可能性 Lean 4是一个先进的、开源的、现代化的证明助手，它被设计用于支持形式化数学和自动定理证明。这个项目，“lean4-experiments”，显然是一系列利用Lean 4进行的实验，旨在研究其与 Higher-Order Logic Machine (HLM)...

评级：0 浏览量：335 收藏量：0 资源大小：20KB 上传时间：2021-03-07

Lean图片.zip 标题中的“Lean图片.zip”可能是指一个包含与“Lean”理念相关的图像集合的压缩文件，而“Lean”在IT行业中通常指的是精益管理方法，旨在减少浪费、提高效率。不过在这个上下文中，它似乎与图像处理有关，可能是某种...

评级：0 浏览量：578 收藏量：0 资源大小：858KB 上传时间：2020-08-23

lean-gptf:精益互动神经定理证明设置# download pre-built binaries and build the projectleanpkg configure && leanpkg build 精益编译完成后，尝试在src/example.lean注释掉证明，并在begin ... end块内调用gptf 。确保您的API密钥已设置（请...

评级：0 浏览量：167 收藏量：0 资源大小：26KB 上传时间：2021-05-08

alc-lean：精益证明中ALC逻辑的形式化在文件"alc-lean-master"中，我们可以期待找到一系列关于如何在Lean环境中构建和操作ALC逻辑的定义、定理和证明。这可能包括： 1. **概念和角色的定义**：ALC逻辑中的基本构造，如概念（类）和角色（关系），将被...

评级：0 浏览量：153 收藏量：0 资源大小：6KB 上传时间：2021-02-11

Lean Touch+的深入学习与用法《 Lean Touch+ 深入学习与用法详解》 Unity引擎在游戏开发领域具有广泛的应用，其中， Lean Touch+ 是一款专为Unity设计的触摸交互工具，它极大地提升了移动平台上的用户界面（UI）交互体验。这款资产在AssetStore...

评级：1 浏览量：1502 收藏量：0 资源大小：1.12MB 上传时间：2022-06-23

lean4-raytracer:用精益4编写的简单raytracer 简单的光线追踪器在Lean 4中是一种依赖类型化的编程语言，它既可以用作证明助手，也可以用于实际程序。该存储库实现了“的光线跟踪”中描述的。 raytracer使用Task进行并行渲染。光线跟踪器的一部分正在使用超采样...

评级：0 浏览量：141 收藏量：0 资源大小：2.21MB 上传时间：2021-05-24

Lean Analytics 《Lean Analytics》是一本专注于数据分析与精益创业方法论相结合的教科书。该书作者Benjamin Yoskovitz和Alistair Croll提出了一个针对创业公司、大型组织甚至个人项目的数据分析框架和方法，旨在帮助决策者透过数据...

评级：5 浏览量：346 收藏量：2 资源大小：11.63MB 上传时间：2014-03-04

Unity LeanTouch插件 Unity LeanTouch插件是一款专为Unity 3D游戏引擎设计的触摸输入管理工具。它使得开发者可以轻松地处理触摸事件，提升在移动设备上的游戏交互体验。通过使用LeanTouch，开发者能够实现各种复杂的触摸操作，如平移、...

评级：5 浏览量：1227 收藏量：1 资源大小：188KB 上传时间：2016-08-23

Lean Websites ### Lean Websites：精简网页设计的关键概念与实践 #### 标题解读： “Lean Websites”这一标题直指本书的核心主题——精简网站设计。这里提到的“Lean”不仅仅是减少页面大小或提高加载速度那么简单，而是一种全面...

评级：0 浏览量：111 收藏量：0 资源大小：10.44MB 上传时间：2019-05-02

Lean Enterprise 《Lean Enterprise: How High Performance Organizations Innovate at Scale》是Jez Humble与Joanne Molesky和Barry O’Reilly合作编写的，由O'Reilly出版公司在2015年出版。这本书是《Lean》系列中的一部分，由Eric...

评级：4 浏览量：170 收藏量：1 资源大小：8.77MB 上传时间：2017-10-31

GH_CP343-1-Lean-CX10_78_lean_ LEAN MANUAL DE OPERACION

评级：0 浏览量：97 收藏量：0 资源大小：600KB 上传时间：2021-10-03

Lean-proof-assistant:学位论文精益辅助 2019/2020学期时间表以工程学习结尾的年份-调整夏季学期的时间从2020年2月17日到2020年7月5日的课程（12周） 2020年5月14日之前提交文凭论文去年AIS的关闭研究21.5.2020 从2020年5月18日至2020年9月25...

评级：0 浏览量：92 收藏量：0 资源大小：1.44MB 上传时间：2021-04-21

CP 343-1 Lean (6GK7343-1CX10-0XE0) 固件 V2.4版本.zip CP 343-1 Lean 是西门子(Siemens)公司的一款以太网通信处理器，主要用于工业自动化领域的网络连接。这款产品设计简洁，旨在提供高效、经济的解决方案，适用于那些对性能要求不是特别高但需要可靠以太网连接的应用...

评级：5 浏览量：138 收藏量：0 资源大小：3.07MB 上传时间：2023-08-31

Lean Sigma NPV Lean Sigma NPV（精益六西格玛净现值）是一个融合了精益六西格玛方法论和财务分析工具的术语。它通常用于项目管理中，特别是在制造业和流程改进领域。精益六西格玛是质量管理和流程优化的一种方法，它通过消除浪费、...

评级：0 浏览量：46 收藏量：0 资源大小：260KB 上传时间：2024-12-11

LeanTouch触摸屏,放大缩小 LeanTouch触摸屏,放大缩小

评级：0 浏览量：323 收藏量：0 资源大小：938KB 上传时间：2022-07-19

lean-monoidal-categories 该知识库包含在交互定理证明者Lean中开发的有关单曲面类的一些实验性工作。这取决于上的精益类别理论库。要下载依赖项并进行编译，只需运行leanpkg build 。专案沿等价关系运输结构：例如，给定类别对等，则...

评级：0 浏览量：94 收藏量：0 资源大小：35KB 上传时间：2021-05-11

Lean-R4S 【标题】"Lean-R4S" 是一个与OpenWRT相关的项目，可能是一个定制或优化的固件版本。OpenWRT是一个开源的嵌入式操作系统，广泛用于无线路由器和其他网络设备，提供高度可定制性和灵活性。【描述】中的信息表明，这...

评级：0 浏览量：227 收藏量：0 资源大小：19KB 上传时间：2021-03-14

lean-4.19.0-rc2-windows.zip lean-4.19.0-rc2-windows.zip

评级：0 浏览量：37 收藏量：0 资源大小：586.18MB 上传时间：2024-11-18

The Lean Six Sigma improvement journey 精益六西格玛（Lean Six Sigma）是一种管理方法，旨在通过减少浪费、缺陷和变异性来提高业务流程效率和客户满意度。该方法结合了精益生产和六西格玛两种改善策略的优势。本文将根据提供的文件概览，详细介绍精益六...

评级：0 浏览量：147 收藏量：1 资源大小：24.41MB 上传时间：2018-11-09

Lean.OpenWRT-R2S:精益官方源码编译OpenWRT "Lean.OpenWRT-R2S"是针对Netgear R2S路由器定制的OpenWRT版本，它结合了精益开发的理念，旨在优化性能、提高效率并提供丰富的功能。本文将深入探讨如何编译这个定制版OpenWRT，并理解其核心特性。一、编译OpenWRT...

评级：0 浏览量：560 收藏量：0 资源大小：19KB 上传时间：2021-03-23

theorem_proving_in_lean:精益定理证明 make install-depsmake htmlmake latexpdf仅在第一次时才需要make install-deps的调用，并且仅当您想使用Sphinx和Pygments的捆绑版本并为Lean改进了语法突出显示时才需要。如何测试精益代码段 make leantest如何...

评级：0 浏览量：286 收藏量：0 资源大小：137KB 上传时间：2021-05-26

lean8.1.4_TPLINK7500.zip 标题 "lean8.1.4_TPLINK7500.zip" 暗示这是一个针对TPLINK Archer C7路由器的定制固件更新包，版本号为8.1.4。"lean"通常指的是一个轻量级、优化过的OpenWrt固件版本，它可能包含了更多自定义设置和性能优化，以满足...

评级：0 浏览量：187 收藏量：0 资源大小：7.6MB 上传时间：2021-07-02

Lean Python(Apress,2016) Lean Python takes 58 Python methods and functions and whittles them down to 15: as author Paul Gerrard says, “I haven’t found a need for the rest.” What You’ll Learn Discover lean Python and how...

评级：0 浏览量：288 收藏量：0 资源大小：6.67MB 上传时间：2016-11-20

lean-matroids：精益中的拟阵在这个特定的项目“lean-matroids”中，我们聚焦于将拟阵理论应用于精益管理，这是一种优化流程、减少浪费的管理理念。Lean理念源自丰田生产系统，强调持续改进和效率最大化。拟阵理论提供了一种框架，用于理解和...

评级：0 浏览量：124 收藏量：0 资源大小：208KB 上传时间：2021-02-27

IyCnet_Configuracion_de_una_CP_343-min_lean_ 标题"IyCnet_Configuracion_de_una_CP_343-min_lean_"表明这是一个关于配置CP 343-1 Lean控制器的教程或指南。"GH_CP343-1-Lean-CX10_78"可能是这个配置的具体场景或者版本号，暗示可能涉及到CX10系列的设备。标签...

评级：0 浏览量：152 收藏量：0 资源大小：341KB 上传时间：2021-10-01

mathematics_in_lean:精益数学教程的用户主存储库本教程取决于Lean，VS Code和mathlib。您可以按照mathlib信息库的说明进行安装。要使用本教程，您需要设置一个项目文件夹。打开一个终端并输入： leanproject get mathematics_in_lean 然后在VS Code中打开项目...

评级：0 浏览量：227 收藏量：0 资源大小：386KB 上传时间：2021-05-05

AutoBuild-OpenWrt:通过GitHub Actions自动编译lean大的OpenWrt固件标题：“AutoBuild-OpenWrt：利用GitHub Actions自动化构建lean版OpenWrt固件” 在IT领域，OpenWrt是一个广泛使用的开源嵌入式操作系统，它基于Linux，适用于路由器和其他网络设备。OpenWrt允许用户自定义设备功能...

评级：0 浏览量：556 收藏量：0 资源大小：7KB 上传时间：2021-03-21

lean-error-location 一个小的库，提供宏以将源位置添加到单子错误处理中。该库导出两个宏： __lineNum__ ：被下面的CodeLocation结构的实例替换。 withCL[...] ：需要一个参数(f: CodeLocation -> α)并将其替换为(f __lineNum__) 。...

评级：0 浏览量：88 收藏量：0 资源大小：4KB 上传时间：2021-03-20

lean-matroids：精益3中拟阵理论的形式化《精益3中拟阵理论的形式化——探索lean-matroids项目》拟阵理论是图论和组合数学的一个分支，它研究的是具有某些类似于线性代数中向量空间性质的集合系统。在这个领域，"精益3"（Lean 3）是一种现代的、强大的...

评级：0 浏览量：129 收藏量：0 资源大小：8KB 上传时间：2021-02-28

newifi3:自用newifi3固件，编译自lean 自动从lean的lede原始资源克隆并生成newifi3固件由于原始码更新了升级内核和替换碎片，但此仓库配置文件为旧文件，若出现问题请在issue反馈目前使用的是开源驱动，如果需要使用闭源驱动，请按以下说明更改配置 ...

评级：0 浏览量：389 收藏量：0 资源大小：381KB 上传时间：2021-03-23

lean-perfectoid-spaces:精益形式定理证明者中的Perfectoid空间精益完美空间（Lean Perfectoid Spaces）是数学领域中一个重要的概念，特别是在代数几何和数论的研究中。这个概念在形式证明验证系统中扮演着关键角色，如标题中提到的"lean-perfectoid-spaces"项目，它是在Lean证明...

评级：0 浏览量：125 收藏量：0 资源大小：10.31MB 上传时间：2021-05-15

openwrt-x86_64-lean 行动OpenWrt 使用GitHub Actions构建OpenWrt 用法单击按钮以创建新的存储库。使用源代码生成.config文件。（您可以通过工作流文件中的环境变量来更改它。）将.config文件推送到GitHub存储库。...

评级：0 浏览量：485 收藏量：0 资源大小：6KB 上传时间：2021-02-15

lean:Lucene文本分析工具 LEAN是一组Java工具，用于从文本文档中生成词频矩阵。 LEAN工具旨在与GTRI / GA Tech SmallK软件发行版兼容，该软件发行版消耗术语频率矩阵并执行分层和平面聚类。 LEAN软件发行版目前包含两个工具：DocIndexer和...

评级：0 浏览量：190 收藏量：0 资源大小：50.08MB 上传时间：2021-05-04

300lean 与 smart200 之间 TCP通讯案例本案例关注的是"300lean"和"smart200"这两种型号的PLC如何通过TCP（传输控制协议）进行通信。300lean和smart200都是广泛应用的PLC产品，它们在制造业、楼宇自动化等领域有着广泛的应用。 TCP是一种面向连接的、可靠...

评级：4 浏览量：450 收藏量：1 资源大小：705KB 上传时间：2018-11-18

Lean Brain Management ### Lean Brain Management：智能节省与效率提升 #### 核心理念《Lean Brain Management》一书由德国IBM公司的Gunther Dueck教授撰写，提出了一种全新的管理思想——Lean Brain（精益大脑）。该理论认为，在很多...

评级：0 浏览量：125 收藏量：1 资源大小：1.58MB 上传时间：2012-10-15

LEAN 2004 听说你还在满世界找LEAN 2004？在这里，为大家整理收录了最全、最好的LEAN 2004以供参考，欢迎...该文档为LEAN 2004，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看看

评级：0 浏览量：66 收藏量：0 资源大小：512KB 上传时间：2020-12-14

Lean Loader.rar 《Unity中的Lean Loader详解》在Unity游戏开发中，资源管理是至关重要的环节，而Lean Loader就是这样一个专门针对Unity资源加载优化的工具。它旨在提供高效、灵活且易用的解决方案，帮助开发者优化游戏性能，减少...

评级：0 浏览量：38 收藏量：0 资源大小：136KB 上传时间：2023-11-14

lean-cli:用于在本地和云中运行LEAN引擎的CLI QuantConnect精益CLI精益CLI是跨平台的CLI，旨在使其更易于在本地和云中使用LEAN引擎进行开发。请访问以获取全面和最新的文档。路线图当前计划实施以下功能（按优先级顺序）：第一个Beta版本本地回测可视化云优化云...

评级：0 浏览量：226 收藏量：0 资源大小：190KB 上传时间：2021-03-18

Lean Touch v2.2.0.unitypackage Lean Touch+ is an extension to the popular Lean Touch, adding a massive amount of new components and demo scenes. These allow you to quickly add touch controls to your game ― no code required! Simply...

评级：0 浏览量：222 收藏量：0 资源大小：1.96MB 上传时间：2020-12-06

Lean Touch + v3.0.2 最新版 Lean Touch + v3.0.2 最新版 Lean Touch 的扩展，新增大量的新组件和演示场景。这些功能支持快速添加触摸控件至游戏 – 无需任何代码！只需选择需要的组件，自定义设置，在 Android、iOS 和台式机上享受一致的控制...

评级：0 浏览量：320 收藏量：0 资源大小：2.11MB 上传时间：2023-10-31

mongoose-lean-defaults：使用.lean（）时，将默认值附加到猫鼬查询的结果中 npm install --save mongoose-lean-defaults 要么 yarn add mongoose-lean-defaults 用法 const mongooseLeanDefaults = require ( 'mongoose-lean-defaults' ) const userSchema = new mongoose . Schema ( { ...

评级：0 浏览量：276 收藏量：0 资源大小：66KB 上传时间：2021-02-04

Actions-Lean-OpenWrt:.config导入编译行动精益OpenWrt master是编译。自定义文件“文件大法”是把你自定义的配置编译到固件里。这样的升级或恢复出厂设置都不需要保留配置，替换值就是自定义的配置。如你现在的网络设置编译进固件：首先提取路由固件下的...

评级：0 浏览量：297 收藏量：0 资源大小：6KB 上传时间：2021-03-20

lean_express "lean_express" 是一个基于JavaScript的Web应用框架，它可能是对Node.js平台上的Express框架的一个轻量级实现或优化版本。在JavaScript社区中，Express是构建web应用程序和API服务的首选框架，因其简洁、灵活的接口...

评级：0 浏览量：83 收藏量：0 资源大小：664KB 上传时间：2021-03-21