CSLib: The Lean Computer Science Library

(arxiv.org)

2 points | by matt_d 9 hours ago ago