xLaDe Files

A Lean 4 Ecosystem Framework!

Brought to you by: lakshitsbishttm

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
xlade-2.0.0-py3-none-any.whl	2026-10-19	46.7 kB	0
xlade-2.0.0.tar.gz	2026-10-19	52.0 kB	0
README.md	2026-10-19	172 Bytes	0
xLaDe v2.0.0 source code.tar.gz	2026-10-19	119.7 kB	0
xLaDe v2.0.0 source code.zip	2026-10-19	187.8 kB	0
Totals: 5 Items		406.4 kB	0

See CHANGELOG.md (github.com) for release notes.

Please provide your feedback. It will help make xLaDe better :)

Source: README.md, updated 2026-10-19

Other Useful Business Software

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Start Free

Recommended Projects

Lean 4
Lean 4 programming language and theorem prover
Axiom Lean Engine
Lean evaluation and metaprogramming utilities for provers
Lean Copilot
LLMs as Copilots for Theorem Proving in Lean
kobjects
Create some lean Java APIs suitable for J2ME CLDC.
CoreASM
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.