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

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

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

按平台查找： All Lean(86)

[lean] Parse

Lean4的分析器生成
Parser generation for Lean4 (2024-04-27, Lean, 0KB, 下载0次)

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

[CA认证] CertifyingDatalog

在Lean for DatalogResults中实施认证检查器
Implements a certified checker in Lean for DatalogResults (2024-03-06, Lean, 0KB, 下载0次)

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

[COBOL编程] baby_cobol_lean_compiler

baby-cobol精益编译器
baby cobol lean compiler (2024-02-28, Lean, 0KB, 下载0次)

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

[lean] HttpServer

Lean中的简单HTTP服务器
A simple HTTP server in Lean (2024-02-04, Lean, 0KB, 下载0次)

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

[数学计算] peano

熟悉交互式定理证明器
Acquainting myself with interactive theorem provers (2023-12-29, Lean, 0KB, 下载0次)

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

[lean] primality-testing

LEAN定理证明器中的素性检验
Primality testing in LEAN theorem prover (2023-12-12, Lean, 0KB, 下载0次)

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

[lean] experimental-lean

乱搞精益定理证明器！
Messing around with the Lean theorem prover! (2023-11-25, Lean, 0KB, 下载0次)

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

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

乱搞精益定理证明器！
Messing around with the Lean theorem prover! (2023-11-19, Lean, 0KB, 下载0次)

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

[lean] yatima

零知识Lean4编译器和内核，
A zero-knowledge Lean4 compiler and kernel, (2023-05-24, Lean, 0KB, 下载0次)

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

[lean] lean-parser-combinators

一元解析器组合子，在Lean中，
Monadic parser combinators, in Lean, (2019-07-29, Lean, 0KB, 下载0次)

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

[lean] vc0

C0规范和精益验证编译器，
C0 specification and verified compiler in Lean, (2020-06-17, Lean, 0KB, 下载0次)

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

[lean] lean4-itertools

迭代器的Lean 4库。，
A Lean 4 library for iterators., (2023-09-09, Lean, 0KB, 下载0次)

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

[lean] Parsec

精益的分析器组合子，
Parser combinators for Lean, (2022-11-05, Lean, 0KB, 下载0次)

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

[lean] lean4-raytrace

用lean编写的简单光线跟踪器，
A simple raytracer written in lean, (2021-01-13, Lean, 0KB, 下载0次)

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

[lean] mm-lean4

精益4 Metamath验证器，
Lean 4 Metamath verifier, (2023-06-28, Lean, 0KB, 下载0次)

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

[lean] doc-gen4

精益4的文档生成器，
Document Generator for Lean 4, (2023-09-13, Lean, 0KB, 下载0次)

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

[数据库系统] Cosette

Cosette是一个自动SQL解算器。
Cosette is an automated SQL solver. (2022-01-04, Lean, 432KB, 下载0次)

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

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

一种编程语言，半定理证明器
A programming language, half theorem prover (2023-05-31, Lean, 21KB, 下载0次)

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

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

LLVM对精益定理证明器的支持
LLVM support for the lean theorem prover (2021-09-14, Lean, 91KB, 下载0次)

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

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

精益4编程语言和定理证明器
Lean 4 programming language and theorem prover (2023-05-31, Lean, 17363KB, 下载0次)

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

<< 123 4 5 >>

总计:86