shred-lean

PyPI page
Home page
Author: Memo Ozdincer
Summary: Profile and eliminate repeated work in batched Lean verification
Latest version: 0.2.1

Optional dependencies: build

Downloads last day: 0
Downloads last week: 7
Downloads last month: 31
7-day smoothing