This repository has been archived by the owner on Oct 25, 2023. It is now read-only.

v3.0.1

tydeu released this 16 May 15:22

d46df8f

A few minor bug fixes and performance improvements plus some code maintenance to update Lake to the latest Lean (i.e., nightly 05-16-2022).

Assets 2

Provide feedback