DDS波形发生器下载搜索联合开发网

排序：按匹配按投票按下载次数按上传日期

按分类查找： lean(48) 数值算法/人工智能(22) 其他(4) 数学计算(3) 工具库(3) 弱点检测代码(1) 数据库系统(1) CA认证(1) 分形几何(1) COBOL编程(1) 内容生成(1)

按平台查找： All Lean(86)

[lean] parser_combinator_tutorial

精益中解析器组合子的制作
making a parser combinator in lean (2024-04-11, Lean, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1712892188761157.html

[lean] lean-simplc

Lean-simp引理的实验局部汇流检查器
Experimental local confluence checker for Lean simp lemmas (2024-02-15, Lean, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1708043823898156.html

[lean] LNSym

精益中的Armv8原生代码符号模拟器
Armv8 Native Code Symbolic Simulator in Lean (2024-02-15, Lean, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1708043823154775.html

[lean] crup

用精益4编写的RUP证明检查器
A Checker for RUP proofs written in Lean 4 (2023-12-16, Lean, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1702762923585840.html

[lean] CertifyingDatalog

在Lean for DatalogResults中实施认证检查器，
Implements a certified checker in Lean for DatalogResults, (2023-10-23, Lean, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1698090900754285.html

[lean] lean4lean

用Lean 4编写的Lean 4内核外部检查器，
Lean 4 kernel external checker written in Lean 4, (2023-10-13, Lean, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1697224148939241.html

[lean] compiler9000

Lean 4中的形式化微编译器，
An formalized micro-compiler in Lean 4, (2021-05-27, Lean, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694657338789570.html

[lean] lean-linear-integer-equation-solver

精益线性整数方程求解器，，
lean linear integer equation solver,, (2021-02-10, Lean, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694657332191485.html

[lean] lean-stlc

Lean4中简单类型lambda演算的类型检查器，
Typechecker for simpty typed lambda calculus in Lean4, (2022-06-04, Lean, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694657286409692.html

[lean] leandiscord-weekly

精益不一致服务器的每周挑战。，
Weekly challenges for the Lean Discord Server., (2022-02-13, Lean, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694657163372552.html

[lean] reactor-model

React器模型的基于精益的形式化。，
A Lean-based formalization of the Reactor model., (2023-07-29, Lean, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694657139222916.html

[lean] lean4-raytracer

用Lean 4编写的简单光线跟踪器，
A simple raytracer written in Lean 4, (2022-06-28, Lean, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694656184819535.html

[数值算法/人工智能] IMOinLEAN

LEAN交互式定理证明器中的形式化集合
A collection of formalisations in the LEAN interactive theorem prover (2021-11-14, Lean, 53KB, 下载0次)

http://www.pudn.com/Download/item/id/1636896657642793.html

[数值算法/人工智能] lean-quantum

Lean定理证明器中的形式化量子计算
Formalized quantum computing in Lean theorem prover (2021-03-06, Lean, 34KB, 下载0次)

http://www.pudn.com/Download/item/id/1615020409162741.html

[数值算法/人工智能] monoidal-categories-reboot

Lean定理证明器中的单调范畴
monoidal categories in the Lean theorem prover (2019-05-06, Lean, 20KB, 下载0次)

http://www.pudn.com/Download/item/id/1557104308427754.html

[数值算法/人工智能] conceptual-mathematics-in-lean

使用Lean定理证明器的概念数学练习
Conceptual Mathematics exercises using Lean theorem prover (2020-10-02, Lean, 14KB, 下载0次)

http://www.pudn.com/Download/item/id/1601634435453736.html

[数值算法/人工智能] berkovich-spaces

Lean定理证明器中Berkovich空间形式化的尝试
Attempt to formalize Berkovich spaces in Lean theorem prover (2021-08-18, Lean, 470KB, 下载0次)

http://www.pudn.com/Download/item/id/1629299215162660.html

[数值算法/人工智能] lean-humanproof

Gowers和Ganesalingam定理证明器在Lean中的实现
Implementation of Gowers & Ganesalingam theorem prover in Lean (2018-08-24, Lean, 5KB, 下载0次)

http://www.pudn.com/Download/item/id/1535109303884964.html

[数值算法/人工智能] lean-homotopy-theory

在Lean形式定理证明器中的一个发展。
A development of homotopy theory in the Lean formal theorem prover. (2020-08-27, Lean, 123KB, 下载0次)

http://www.pudn.com/Download/item/id/1598522962395590.html

[数值算法/人工智能] lean-perfectoid-spaces

Lean形式定理证明器中的完备空间。
Perfectoid spaces in the Lean formal theorem prover. (2021-12-06, Lean, 10557KB, 下载0次)

http://www.pudn.com/Download/item/id/1638769066664760.html

<< 1 234 5 >>

总计:86