velcom. Continuous benchmarking

github.com/leanprover/velcom
by @leanprover

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.