This repository was archived by the owner on Oct 14, 2023. It is now read-only.
This repository was archived by the owner on Oct 14, 2023. It is now read-only.
out of date files on bitbucket #1974
Open
Description
https://bitbucket.org/leanprover/ contains old files that haven't been updated, but no obvious clue to direct people not to use them. Maybe delete, or sync them to current?
Metadata
Metadata
Assignees
Labels
No labels