communicating-with-lean

(★ 9)

Prototype of back-and-forth tactic application in Lean through an external program.

communicating-with-lean Latest Version Download

Download Latest Version (.zip)

Today's picks

screenshot-to-code ★ 74,048

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

Python
app-ideas ★ 96,833

A Collection of application ideas which can be used to improve your coding skills.
TradingAgents ★ 98,489

TradingAgents: Multi-Agents LLM Financial Trading Framework

Python
vite ★ 82,367

Next generation frontend tooling. It's fast!

TypeScript
superpowers ★ 272,754

An agentic skills framework & software development methodology that works.

Shell
ponytail ★ 104,000

Makes your AI agent think like the laziest senior dev in the room. The best code is the co

JavaScript
// repository documentation