olean-rs. parser/viewer for olean files (lean 3)

github.com/digama0/olean-rs
by @digama0

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.