optimul. Multiplication on optimal λ-calculus reducers

github.com/VictorTaelin/optimul
by @VictorTaelin

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.