Cajal ORG

@cajal-technologies ·caj.al

2 repos
6 followers
0 following

Lean 100%

All public repos (2)

Show forks Show archived

talos

Wasm interpreter in lean, designed for reasoning

A WebAssembly interpreter built in Lean 4 that lets you mathematically prove what a program will do for all possible inputs, not just run it on examples.

Lean ★ 98 6m ago
Explain →
putnam2025

No description.

Lean ★ 0 3mo ago
Explain →