Skip to content

Merge pull request #69 from leanprover-community/dev

93e949f
Select commit
Loading
Failed to load commit list.
Merged

Update dev to match main #70

Merge pull request #69 from leanprover-community/dev
93e949f
Select commit
Loading
Failed to load commit list.