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
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?